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