TSTP Solution File: GRP184-2 by Refute---2015