the sugarloaf is not a kind of a he.
sent1: the fact that the fact that something does read rewa-rewa and it is a coville hold is not true if it is not a commentator. sent2: the vesiculation captures milo and captures wood-rat. sent3: the sugarloaf is not a he if there is something such that that it does read rewa-rewa and is a kind of a coville is incorrect. sent4: the vesiculation does capture wood-rat. sent5: if the vesiculation captures milo and it captures wood-rat the geek is not a commentator. sent6: something does read rewa-rewa and it is a coville. sent7: the geek does not capture milo if there is something such that the fact that it does capture wood-rat and is a commentator is not correct. sent8: if there exists something such that it does not read rewa-rewa the sugarloaf is not a he. sent9: the milo is not a Saturnalia. sent10: that the geek is not a kind of a coville and it does not read rewa-rewa is not right if it is a commentator.
sent5 & sent2 -> int1: the geek is not a kind of a commentator.; sent1 -> int2: if the geek is not a commentator that it does read rewa-rewa and it is a coville is false.; int1 & int2 -> int3: that the geek does read rewa-rewa and it is a kind of a coville is false.; int3 -> int4: there exists something such that the fact that it does read rewa-rewa and is a kind of a coville is not true.; int4 & sent3 -> hypothesis;
the sugarloaf is a he.
$hypothesis$ = the sugarloaf is not a kind of a he. ; $context$ = sent1: the fact that the fact that something does read rewa-rewa and it is a coville hold is not true if it is not a commentator. sent2: the vesiculation captures milo and captures wood-rat. sent3: the sugarloaf is not a he if there is something such that that it does read rewa-rewa and is a kind of a coville is incorrect. sent4: the vesiculation does capture wood-rat. sent5: if the vesiculation captures milo and it captures wood-rat the geek is not a commentator. sent6: something does read rewa-rewa and it is a coville. sent7: the geek does not capture milo if there is something such that the fact that it does capture wood-rat and is a commentator is not correct. sent8: if there exists something such that it does not read rewa-rewa the sugarloaf is not a he. sent9: the milo is not a Saturnalia. sent10: that the geek is not a kind of a coville and it does not read rewa-rewa is not right if it is a commentator. ; $proof$ = 
sent5 & sent2 -> int1: the geek is not a kind of a commentator.; sent1 -> int2: if the geek is not a commentator that it does read rewa-rewa and it is a coville is false.; int1 & int2 -> int3: that the geek does read rewa-rewa and it is a kind of a coville is false.; int3 -> int4: there exists something such that the fact that it does read rewa-rewa and is a kind of a coville is not true.; int4 & sent3 -> hypothesis; __PROVED__