the tankard is not a kind of a accidence.
sent1: if there exists something such that that it is not non-isotropic and it does axe trochee is false the hypha is a kind of a Canuck. sent2: if that the daughter-in-law does axe Fulbright is not wrong the ytterbium is unwomanly. sent3: there exists something such that the fact that it is isotropic and it does axe trochee is incorrect. sent4: there exists something such that that it is a fetch that is a selection does not hold. sent5: the mammy is parhelic if the ytterbium leases mower. sent6: if something is unwomanly it does lease mower. sent7: if the fact that the hypha is not a accidence is true the tankard is a kind of a accidence. sent8: if that something is a kind of a MKO is not wrong it is not Thoreauvian and it is a Canuck. sent9: if the hypha is not Thoreauvian and/or it is parhelic the tankard is not Thoreauvian. sent10: the tankard is not Thoreauvian if the hypha is Thoreauvian. sent11: if something is a Canuck then it is Thoreauvian. sent12: if the mammy is a MKO the hypha is a MKO. sent13: if something is parhelic then it is a MKO. sent14: if something is not Thoreauvian and is a Canuck then it is not a accidence.
sent3 & sent1 -> int1: the hypha is a kind of a Canuck.; sent11 -> int2: the hypha is Thoreauvian if it is a Canuck.; int1 & int2 -> int3: the hypha is not non-Thoreauvian.;
the tankard is a accidence.
$hypothesis$ = the tankard is not a kind of a accidence. ; $context$ = sent1: if there exists something such that that it is not non-isotropic and it does axe trochee is false the hypha is a kind of a Canuck. sent2: if that the daughter-in-law does axe Fulbright is not wrong the ytterbium is unwomanly. sent3: there exists something such that the fact that it is isotropic and it does axe trochee is incorrect. sent4: there exists something such that that it is a fetch that is a selection does not hold. sent5: the mammy is parhelic if the ytterbium leases mower. sent6: if something is unwomanly it does lease mower. sent7: if the fact that the hypha is not a accidence is true the tankard is a kind of a accidence. sent8: if that something is a kind of a MKO is not wrong it is not Thoreauvian and it is a Canuck. sent9: if the hypha is not Thoreauvian and/or it is parhelic the tankard is not Thoreauvian. sent10: the tankard is not Thoreauvian if the hypha is Thoreauvian. sent11: if something is a Canuck then it is Thoreauvian. sent12: if the mammy is a MKO the hypha is a MKO. sent13: if something is parhelic then it is a MKO. sent14: if something is not Thoreauvian and is a Canuck then it is not a accidence. ; $proof$ = 
sent3 & sent1 -> int1: the hypha is a kind of a Canuck.; sent11 -> int2: the hypha is Thoreauvian if it is a Canuck.; int1 & int2 -> int3: the hypha is not non-Thoreauvian.; __UNKNOWN__