the oat is nontranslational.
sent1: the fact that the projection is dot-com but it is not a Madoqua does not hold if it is nontranslational. sent2: that the neoclassicist is spiritualistic is correct. sent3: if something is a dot-com then it is nontranslational. sent4: if something that is exportable is carvel-built then the oat is a dot-com. sent5: the allegorizer is not carvel-built. sent6: if that something is dot-com but it is not a Madoqua does not hold it is not a dot-com. sent7: the allegorizer is both exportable and not carvel-built. sent8: there exists something such that it is not carvel-built. sent9: if there are exportable and non-carvel-built things the fact that the oat is a dot-com is right.
sent7 -> int1: there is something such that the fact that it is exportable and non-carvel-built is not incorrect.; int1 & sent9 -> int2: the oat is a kind of a dot-com.; sent3 -> int3: the oat is nontranslational if it is dot-com.; int2 & int3 -> hypothesis;
there is something such that it is particulate and it does not strain.
sent6 -> int4: if the fact that the projection is dot-com but it is not a Madoqua is incorrect it is not a dot-com.;
$hypothesis$ = the oat is nontranslational. ; $context$ = sent1: the fact that the projection is dot-com but it is not a Madoqua does not hold if it is nontranslational. sent2: that the neoclassicist is spiritualistic is correct. sent3: if something is a dot-com then it is nontranslational. sent4: if something that is exportable is carvel-built then the oat is a dot-com. sent5: the allegorizer is not carvel-built. sent6: if that something is dot-com but it is not a Madoqua does not hold it is not a dot-com. sent7: the allegorizer is both exportable and not carvel-built. sent8: there exists something such that it is not carvel-built. sent9: if there are exportable and non-carvel-built things the fact that the oat is a dot-com is right. ; $proof$ = 
sent7 -> int1: there is something such that the fact that it is exportable and non-carvel-built is not incorrect.; int1 & sent9 -> int2: the oat is a kind of a dot-com.; sent3 -> int3: the oat is nontranslational if it is dot-com.; int2 & int3 -> hypothesis; __PROVED__