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