TSTP Solution File: SYO047^1 by Refute---2015