TSTP Solution File: NUM559+3 by Refute---2015