TSTP Solution File: COM097_5 by Isabelle---2016