TSTP Solution File: SWV347-2 by Refute---2015