the supertanker is not a perianth and it is not a enol.
sent1: the apache does not tailor. sent2: if something that is not a kind of a tailorbird is a volley then the supertanker is not a kind of a enol. sent3: the Colombian is not undemonstrative but it is a teetotaler. sent4: if the hideout is not a kind of a teetotaler the fact that that the yearbook is undemonstrative and is a breeze is not incorrect is not correct. sent5: if something is not Anglo-catholic it is not a breeze. sent6: if something that is not undemonstrative is a teetotaler it is a breeze. sent7: that something is not a perianth and is not a kind of a enol is wrong if it is Anglo-catholic. sent8: if there exists something such that it is not a tailorbird then the hideout is not a teetotaler. sent9: the yearbook does volley. sent10: the yearbook is not a tailorbird but it is a volley.
void -> assump1: Let's assume that the supertanker is a perianth.; sent5 -> int1: the Colombian is not a breeze if it is not Anglo-catholic.; sent6 -> int2: the Colombian is a breeze if it is a kind of demonstrative thing that is a teetotaler.; int2 & sent3 -> int3: the Colombian is a breeze.; sent10 -> int4: there exists something such that it is not a tailorbird and is a volley.; int4 & sent2 -> int5: the supertanker is not a enol.;
the fact that the supertanker is not a perianth and is not a enol is false.
sent7 -> int6: if the supertanker is Anglo-catholic then that it is not a kind of a perianth and is not a kind of a enol does not hold.; sent1 -> int7: something does not tailor.; int7 & sent8 -> int8: the hideout is not a teetotaler.; sent4 & int8 -> int9: that the yearbook is undemonstrative and it does breeze is not true.;
$hypothesis$ = the supertanker is not a perianth and it is not a enol. ; $context$ = sent1: the apache does not tailor. sent2: if something that is not a kind of a tailorbird is a volley then the supertanker is not a kind of a enol. sent3: the Colombian is not undemonstrative but it is a teetotaler. sent4: if the hideout is not a kind of a teetotaler the fact that that the yearbook is undemonstrative and is a breeze is not incorrect is not correct. sent5: if something is not Anglo-catholic it is not a breeze. sent6: if something that is not undemonstrative is a teetotaler it is a breeze. sent7: that something is not a perianth and is not a kind of a enol is wrong if it is Anglo-catholic. sent8: if there exists something such that it is not a tailorbird then the hideout is not a teetotaler. sent9: the yearbook does volley. sent10: the yearbook is not a tailorbird but it is a volley. ; $proof$ = 
void -> assump1: Let's assume that the supertanker is a perianth.; sent5 -> int1: the Colombian is not a breeze if it is not Anglo-catholic.; sent6 -> int2: the Colombian is a breeze if it is a kind of demonstrative thing that is a teetotaler.; int2 & sent3 -> int3: the Colombian is a breeze.; sent10 -> int4: there exists something such that it is not a tailorbird and is a volley.; int4 & sent2 -> int5: the supertanker is not a enol.; __UNKNOWN__