TSTP Solution File: KRS287+1 by Refute---2015