TSTP Solution File: GRP181-3 by Refute---2015