the boxthorn does not fool adapter.
sent1: the boxthorn does fool adapter and is predictable if there is something such that it is non-psychogenic. sent2: the boxthorn violates. sent3: the boxthorn is destructive if there is something such that it does not automobile. sent4: there are non-psychogenic things. sent5: the boxthorn is psychogenic. sent6: the tablefork is psychogenic. sent7: the fact that the boxthorn does fool adapter is not false if there exists something such that it is not predictable. sent8: the boxthorn is predictable if there is something such that that it does not fool adapter is right.
sent4 & sent1 -> int1: the boxthorn does fool adapter and is predictable.; int1 -> hypothesis;
$hypothesis$ = the boxthorn does not fool adapter. ; $context$ = sent1: the boxthorn does fool adapter and is predictable if there is something such that it is non-psychogenic. sent2: the boxthorn violates. sent3: the boxthorn is destructive if there is something such that it does not automobile. sent4: there are non-psychogenic things. sent5: the boxthorn is psychogenic. sent6: the tablefork is psychogenic. sent7: the fact that the boxthorn does fool adapter is not false if there exists something such that it is not predictable. sent8: the boxthorn is predictable if there is something such that that it does not fool adapter is right. ; $proof$ = 
sent4 & sent1 -> int1: the boxthorn does fool adapter and is predictable.; int1 -> hypothesis; __DISPROVED__