TSTP Solution File: ARI411_1 by Isabelle---2016