the arrester is a kind of a feather.
sent1: there is something such that it is quadrangular. sent2: the arrester letters scoreboard if the thesaurus does still Leccinum. sent3: the thesaurus is not quadrangular if the tristearin is not a purpose but quadrangular. sent4: the arrester letters scoreboard if the thesaurus purposes. sent5: the arrester is a kind of a feather if it is not a progress or it does still onomancy or both. sent6: if there exists something such that it is quadrangular the thesaurus either stills Leccinum or is a purpose or both.
sent1 & sent6 -> int1: the thesaurus either does still Leccinum or is a purpose or both.; int1 & sent2 & sent4 -> int2: the arrester does letter scoreboard.;
the arrester does not feather.
$hypothesis$ = the arrester is a kind of a feather. ; $context$ = sent1: there is something such that it is quadrangular. sent2: the arrester letters scoreboard if the thesaurus does still Leccinum. sent3: the thesaurus is not quadrangular if the tristearin is not a purpose but quadrangular. sent4: the arrester letters scoreboard if the thesaurus purposes. sent5: the arrester is a kind of a feather if it is not a progress or it does still onomancy or both. sent6: if there exists something such that it is quadrangular the thesaurus either stills Leccinum or is a purpose or both. ; $proof$ = 
sent1 & sent6 -> int1: the thesaurus either does still Leccinum or is a purpose or both.; int1 & sent2 & sent4 -> int2: the arrester does letter scoreboard.; __UNKNOWN__