TSTP Solution File: SCT222_5 by Refute---2015