TSTP Solution File: SWV788-1 by Refute---2015