the cardhouse is a buttery.
sent1: something does reorient Currier if it is a kind of a truncation. sent2: if something is not a kind of a buttery then it does not outnumber Mackem. sent3: the elitist is a truncation if the cardhouse does not outnumber Mackem and is not supernal. sent4: if the leptosporangium is a kind of a truncation then the elitist is not a buttery or it does not reorient Currier or both. sent5: something is a kind of a truncation if the fact that it is autumnal is not incorrect. sent6: there exists something such that it is a kind of an undress. sent7: if that the cardhouse is not a kind of a buttery is not incorrect then it does not outnumber Mackem. sent8: the leptosporangium is autumnal an undress. sent9: the cardhouse does not outnumber Mackem. sent10: if something that is autumnal undresses the elitist does not reorient Currier. sent11: there are autumnal things. sent12: the leptosporangium is a kind of an undress. sent13: if the cardhouse does outnumber Mackem but it is not supernal then the elitist is a truncation. sent14: the tapestry is either a buttery or a truncation or both.
void -> assump1: Let's assume that the fact that the cardhouse is not a buttery hold.; sent1 -> int1: if the elitist is a truncation then the fact that it reorients Currier is not wrong.; sent8 -> int2: there exists something such that it is autumnal an undress.; int2 & sent10 -> int3: the elitist does not reorient Currier.;
the cardhouse is not a buttery.
sent5 -> int4: the leptosporangium is a kind of a truncation if it is autumnal.;
$hypothesis$ = the cardhouse is a buttery. ; $context$ = sent1: something does reorient Currier if it is a kind of a truncation. sent2: if something is not a kind of a buttery then it does not outnumber Mackem. sent3: the elitist is a truncation if the cardhouse does not outnumber Mackem and is not supernal. sent4: if the leptosporangium is a kind of a truncation then the elitist is not a buttery or it does not reorient Currier or both. sent5: something is a kind of a truncation if the fact that it is autumnal is not incorrect. sent6: there exists something such that it is a kind of an undress. sent7: if that the cardhouse is not a kind of a buttery is not incorrect then it does not outnumber Mackem. sent8: the leptosporangium is autumnal an undress. sent9: the cardhouse does not outnumber Mackem. sent10: if something that is autumnal undresses the elitist does not reorient Currier. sent11: there are autumnal things. sent12: the leptosporangium is a kind of an undress. sent13: if the cardhouse does outnumber Mackem but it is not supernal then the elitist is a truncation. sent14: the tapestry is either a buttery or a truncation or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cardhouse is not a buttery hold.; sent1 -> int1: if the elitist is a truncation then the fact that it reorients Currier is not wrong.; sent8 -> int2: there exists something such that it is autumnal an undress.; int2 & sent10 -> int3: the elitist does not reorient Currier.; __UNKNOWN__