TSTP Solution File: BOO010-4 by Refute---2015