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