the foreigner is not a kind of a GRAPO.
sent1: if something is a GRAPO then it does not lap rat-catcher. sent2: that there exists something such that the fact that it is not a farming and is a kind of a Angelus is not true is true. sent3: the patisserie does whang Tahitian. sent4: if there exists something such that it does lap rat-catcher the foreigner is not a GRAPO. sent5: there is something such that it is a kind of a GRAPO or it is dumpy or both. sent6: the myrtle is not a GRAPO. sent7: the mainmast is not a kind of a GRAPO. sent8: either the foreigner does lap rat-catcher or it is a GRAPO or both. sent9: that the rat-catcher is not dumpy does not hold. sent10: the foreigner is asphaltic. sent11: the foreigner is not inconsiderable. sent12: there is something such that it is betulaceous and/or it is coarse. sent13: if there is something such that that it is not a farming and is a Angelus is not right then the coydog is a goldcrest. sent14: something is a kind of a GRAPO if it is a goldcrest.
sent9 -> int1: the rat-catcher is dumpy or it laps rat-catcher or both.; int1 -> int2: there is something such that it is dumpy and/or it does lap rat-catcher.;
the coydog is yogistic or it is coarse or both.
sent1 -> int3: if the coydog is a kind of a GRAPO it does not lap rat-catcher.; sent14 -> int4: if the coydog is a goldcrest it is a GRAPO.; sent2 & sent13 -> int5: the coydog is a kind of a goldcrest.; int4 & int5 -> int6: the coydog is a GRAPO.; int3 & int6 -> int7: the coydog does not lap rat-catcher.;
$hypothesis$ = the foreigner is not a kind of a GRAPO. ; $context$ = sent1: if something is a GRAPO then it does not lap rat-catcher. sent2: that there exists something such that the fact that it is not a farming and is a kind of a Angelus is not true is true. sent3: the patisserie does whang Tahitian. sent4: if there exists something such that it does lap rat-catcher the foreigner is not a GRAPO. sent5: there is something such that it is a kind of a GRAPO or it is dumpy or both. sent6: the myrtle is not a GRAPO. sent7: the mainmast is not a kind of a GRAPO. sent8: either the foreigner does lap rat-catcher or it is a GRAPO or both. sent9: that the rat-catcher is not dumpy does not hold. sent10: the foreigner is asphaltic. sent11: the foreigner is not inconsiderable. sent12: there is something such that it is betulaceous and/or it is coarse. sent13: if there is something such that that it is not a farming and is a Angelus is not right then the coydog is a goldcrest. sent14: something is a kind of a GRAPO if it is a goldcrest. ; $proof$ = 
sent9 -> int1: the rat-catcher is dumpy or it laps rat-catcher or both.; int1 -> int2: there is something such that it is dumpy and/or it does lap rat-catcher.; __UNKNOWN__