TSTP Solution File: SET070-6 by Refute---2015