the oat does not write.
sent1: The portico does consolidate oat. sent2: the fact that the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness does not hold if it empties dishabille. sent3: The dishabille empties dumpcart. sent4: if the Catholic is not a kind of a Mormon then the dumpcart is a kind of imperishable thing that empties oat. sent5: if the oat is imperishable it is not non-Mormon. sent6: if the oat does not empty oat then the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness. sent7: something is imperishable if it empties oat. sent8: if the cenobite is a kind of a means that is not asymptotic then it does empty dishabille. sent9: if something does empty trick then it is a means and it is not asymptotic. sent10: the dumpcart empties dishabille. sent11: the cenobite does empty trick. sent12: the oat does not write if it does consolidate portico and it is a kind of a Mormon. sent13: the oat does write if the dumpcart does empty oat.
void -> assump1: Let's assume that the oat does not empty oat.; sent6 & assump1 -> int1: the dumpcart does not sniff Umayyad and does not consolidate cloudlessness.; sent2 & sent10 -> int2: that the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oat empties oat.; sent7 -> int5: if the fact that the oat does empty oat is not false then it is imperishable.; int4 & int5 -> int6: the oat is imperishable.; int6 & sent5 -> int7: the oat is a kind of a Mormon.;
the oat writes.
sent9 -> int8: the cenobite is a kind of a means but it is not asymptotic if it does empty trick.; int8 & sent11 -> int9: the cenobite does mean but it is non-asymptotic.; sent8 & int9 -> int10: the cenobite empties dishabille.; int10 -> int11: there is something such that that it does empty dishabille is correct.;
$hypothesis$ = the oat does not write. ; $context$ = sent1: The portico does consolidate oat. sent2: the fact that the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness does not hold if it empties dishabille. sent3: The dishabille empties dumpcart. sent4: if the Catholic is not a kind of a Mormon then the dumpcart is a kind of imperishable thing that empties oat. sent5: if the oat is imperishable it is not non-Mormon. sent6: if the oat does not empty oat then the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness. sent7: something is imperishable if it empties oat. sent8: if the cenobite is a kind of a means that is not asymptotic then it does empty dishabille. sent9: if something does empty trick then it is a means and it is not asymptotic. sent10: the dumpcart empties dishabille. sent11: the cenobite does empty trick. sent12: the oat does not write if it does consolidate portico and it is a kind of a Mormon. sent13: the oat does write if the dumpcart does empty oat. ; $proof$ = 
void -> assump1: Let's assume that the oat does not empty oat.; sent6 & assump1 -> int1: the dumpcart does not sniff Umayyad and does not consolidate cloudlessness.; sent2 & sent10 -> int2: that the dumpcart does not sniff Umayyad and it does not consolidate cloudlessness does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oat empties oat.; sent7 -> int5: if the fact that the oat does empty oat is not false then it is imperishable.; int4 & int5 -> int6: the oat is imperishable.; int6 & sent5 -> int7: the oat is a kind of a Mormon.; __UNKNOWN__