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