the tent-fly is not a megatherian.
sent1: the pleaser is pelvic if the brooch is pelvic. sent2: the fact that that the tent-fly is not pelvic is not correct is not false if that the brooch is not pelvic is false. sent3: the brooch is fingerless. sent4: something is fingerless if it is pelvic. sent5: if something is not a bond and it is not biological it is a kind of a counterpoint. sent6: something is a megatherian if the fact that it is not fingered hold. sent7: the fact that something is fingerless but it is not a megatherian does not hold if it is pelvic. sent8: the hemiepiphyte is a kind of a stalk and/or does not contemplate deck if the porphyry is a kind of a pillared. sent9: the brooch is pelvic if that the tent-fly does counterpoint hold. sent10: everything is biological and it stalks. sent11: the tent-fly does not bond if the hemiepiphyte stalks or does not contemplate deck or both. sent12: the tent-fly is not a megatherian if there exists something such that it is pelvic. sent13: the tent-fly is not a megatherian if there is something such that it is fingerless or it is pelvic or both. sent14: the brooch is pelvic if it is both not a counterpoint and a bond.
sent3 -> int1: the brooch is fingerless and/or pelvic.; int1 -> int2: something is fingerless and/or it is pelvic.; int2 & sent13 -> hypothesis;
the fact that the pleaser is not fingerless is true.
sent7 -> int3: if the pleaser is pelvic the fact that it is fingerless and it is not a megatherian is false.; sent5 -> int4: if that the tent-fly is not a bond and it is not biological is true it is a kind of a counterpoint.;
$hypothesis$ = the tent-fly is not a megatherian. ; $context$ = sent1: the pleaser is pelvic if the brooch is pelvic. sent2: the fact that that the tent-fly is not pelvic is not correct is not false if that the brooch is not pelvic is false. sent3: the brooch is fingerless. sent4: something is fingerless if it is pelvic. sent5: if something is not a bond and it is not biological it is a kind of a counterpoint. sent6: something is a megatherian if the fact that it is not fingered hold. sent7: the fact that something is fingerless but it is not a megatherian does not hold if it is pelvic. sent8: the hemiepiphyte is a kind of a stalk and/or does not contemplate deck if the porphyry is a kind of a pillared. sent9: the brooch is pelvic if that the tent-fly does counterpoint hold. sent10: everything is biological and it stalks. sent11: the tent-fly does not bond if the hemiepiphyte stalks or does not contemplate deck or both. sent12: the tent-fly is not a megatherian if there exists something such that it is pelvic. sent13: the tent-fly is not a megatherian if there is something such that it is fingerless or it is pelvic or both. sent14: the brooch is pelvic if it is both not a counterpoint and a bond. ; $proof$ = 
sent3 -> int1: the brooch is fingerless and/or pelvic.; int1 -> int2: something is fingerless and/or it is pelvic.; int2 & sent13 -> hypothesis; __PROVED__