TSTP Solution File: GRP756-1 by Refute---2015