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