that the dishwasher does round and is not sectorial is wrong.
sent1: if something fabricates Clyde then it does round. sent2: the vase-fine is a penult. sent3: the dishwasher does not cultivate if the loam is not a Glycyrrhiza and/or does not fabricate ungodliness. sent4: there exists something such that the fact that it is sectorial thing that fabricates ungodliness is not true. sent5: the fact that something is a Glycyrrhiza hold. sent6: the vase-fine does not fabricate ungodliness if there exists something such that that it is sectorial and it does fabricate ungodliness does not hold. sent7: if the fact that the dishwasher does fabricate ungodliness and is non-long-distance is false it is not a penult. sent8: the fact that something fabricates GPO and/or it is a Glycyrrhiza does not hold if it is not a kind of a penult. sent9: the vase-fine is allowable. sent10: that something does fabricate ungodliness but it is not long-distance is not true if it is a kind of a determination. sent11: that the dishwasher does cultivate but it does not fabricate Clyde is not correct if something is a kind of a Atlantic. sent12: the vase-fine cultivates and/or it is not a kind of a penult. sent13: the vase-fine does fabricate GPO if it is a kind of a Glycyrrhiza. sent14: the vase-fine is a penult and does not fabricate Clyde if there is something such that the fact that it is not long-distance is not false. sent15: the dishwasher is a determination if it is Hellenic and does not broil box. sent16: if the fact that something does cultivate and does not fabricate Clyde is false then it fabricate Clyde. sent17: if that something fabricates GPO and/or it is a Glycyrrhiza is not true it is not sectorial. sent18: that something is a kind of a penult that does not fabricate Clyde is not right if the fact that it fabricates GPO is not false. sent19: there is something such that it is a Atlantic. sent20: there exists something such that that it is not long-distance hold. sent21: the fact that the dishwasher is a rounded that is not sectorial is false if it does not cultivate. sent22: if the vase-fine is not a Glycyrrhiza the loam is not a Glycyrrhiza and/or it does not fabricate ungodliness.
void -> assump1: Let's assume that the vase-fine is a kind of a Glycyrrhiza.; sent13 & assump1 -> int1: the vase-fine fabricates GPO.; sent18 -> int2: if the vase-fine fabricates GPO the fact that it is a penult that does not fabricate Clyde does not hold.; int1 & int2 -> int3: that the vase-fine is a penult that does not fabricate Clyde is incorrect.; sent20 & sent14 -> int4: the vase-fine is a penult but it does not fabricate Clyde.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vase-fine is not a Glycyrrhiza.; int6 & sent22 -> int7: either the loam is not a kind of a Glycyrrhiza or it does not fabricate ungodliness or both.; int7 & sent3 -> int8: the dishwasher does not cultivate.; int8 & sent21 -> hypothesis;
the dishwasher is rounded and not sectorial.
sent1 -> int9: the dishwasher is rounded if it does fabricate Clyde.; sent16 -> int10: if the fact that the dishwasher does cultivate but it does not fabricate Clyde is not true it does fabricate Clyde.; sent19 & sent11 -> int11: the fact that the dishwasher cultivates and does not fabricate Clyde is not true.; int10 & int11 -> int12: the dishwasher fabricates Clyde.; int9 & int12 -> int13: the dishwasher is a kind of a rounded.; sent17 -> int14: the dishwasher is non-sectorial if that either it does fabricate GPO or it is a Glycyrrhiza or both is false.; sent8 -> int15: if the dishwasher is not a kind of a penult then the fact that it fabricates GPO and/or is a Glycyrrhiza is wrong.; sent10 -> int16: if the dishwasher is a determination the fact that that it fabricates ungodliness and is not long-distance is not incorrect is not correct.; sent9 -> int17: there are allowable things.;
$hypothesis$ = that the dishwasher does round and is not sectorial is wrong. ; $context$ = sent1: if something fabricates Clyde then it does round. sent2: the vase-fine is a penult. sent3: the dishwasher does not cultivate if the loam is not a Glycyrrhiza and/or does not fabricate ungodliness. sent4: there exists something such that the fact that it is sectorial thing that fabricates ungodliness is not true. sent5: the fact that something is a Glycyrrhiza hold. sent6: the vase-fine does not fabricate ungodliness if there exists something such that that it is sectorial and it does fabricate ungodliness does not hold. sent7: if the fact that the dishwasher does fabricate ungodliness and is non-long-distance is false it is not a penult. sent8: the fact that something fabricates GPO and/or it is a Glycyrrhiza does not hold if it is not a kind of a penult. sent9: the vase-fine is allowable. sent10: that something does fabricate ungodliness but it is not long-distance is not true if it is a kind of a determination. sent11: that the dishwasher does cultivate but it does not fabricate Clyde is not correct if something is a kind of a Atlantic. sent12: the vase-fine cultivates and/or it is not a kind of a penult. sent13: the vase-fine does fabricate GPO if it is a kind of a Glycyrrhiza. sent14: the vase-fine is a penult and does not fabricate Clyde if there is something such that the fact that it is not long-distance is not false. sent15: the dishwasher is a determination if it is Hellenic and does not broil box. sent16: if the fact that something does cultivate and does not fabricate Clyde is false then it fabricate Clyde. sent17: if that something fabricates GPO and/or it is a Glycyrrhiza is not true it is not sectorial. sent18: that something is a kind of a penult that does not fabricate Clyde is not right if the fact that it fabricates GPO is not false. sent19: there is something such that it is a Atlantic. sent20: there exists something such that that it is not long-distance hold. sent21: the fact that the dishwasher is a rounded that is not sectorial is false if it does not cultivate. sent22: if the vase-fine is not a Glycyrrhiza the loam is not a Glycyrrhiza and/or it does not fabricate ungodliness. ; $proof$ = 
void -> assump1: Let's assume that the vase-fine is a kind of a Glycyrrhiza.; sent13 & assump1 -> int1: the vase-fine fabricates GPO.; sent18 -> int2: if the vase-fine fabricates GPO the fact that it is a penult that does not fabricate Clyde does not hold.; int1 & int2 -> int3: that the vase-fine is a penult that does not fabricate Clyde is incorrect.; sent20 & sent14 -> int4: the vase-fine is a penult but it does not fabricate Clyde.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vase-fine is not a Glycyrrhiza.; int6 & sent22 -> int7: either the loam is not a kind of a Glycyrrhiza or it does not fabricate ungodliness or both.; int7 & sent3 -> int8: the dishwasher does not cultivate.; int8 & sent21 -> hypothesis; __PROVED__