TSTP Solution File: BOO006-2 by Refute---2015