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