the fact that there exists something such that it falsifies Wallace and it is not a seventeenth is not true.
sent1: the coho falsifies Wallace but it is not a seventeenth if something does not utter vagrant. sent2: there exists something such that it does utter vagrant. sent3: the coho is a specific if something does not falsify Wallace. sent4: there are non-saxicolous things. sent5: there is something such that the fact that it is not a seventeenth is not wrong. sent6: there is something such that it does falsify undertow. sent7: the waterspout is not specific. sent8: the MArch is not specific. sent9: something is an internment but it does not utter slumber. sent10: the vagrant utters vagrant but it is not a seventeenth if there is something such that it is not low-tech. sent11: something is a gluon but it does not utter symphilid. sent12: the vagrant is not non-low-tech if it is a specific. sent13: the MArch is not a kind of a citrus. sent14: the fact that there is something such that it does not unveil Langmuir hold. sent15: the coho does falsify Wallace. sent16: the MArch does not utter vagrant if the vagrant is not specific. sent17: the vagrant is not low-tech. sent18: if there exists something such that it is nonspecific then the vagrant utters vagrant. sent19: there exists something such that it is a specific. sent20: the fact that the propylthiouracil is not a specific is not incorrect. sent21: there exists something such that it does uprise.
void -> assump1: Let's assume that the vagrant is a kind of a specific.; sent12 & assump1 -> int1: the vagrant is low-tech.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vagrant is not specific.; int3 & sent16 -> int4: the MArch does not utter vagrant.; int4 -> int5: there exists something such that it does not utter vagrant.; int5 & sent1 -> int6: the coho falsifies Wallace and is not a seventeenth.; int6 -> hypothesis;
$hypothesis$ = the fact that there exists something such that it falsifies Wallace and it is not a seventeenth is not true. ; $context$ = sent1: the coho falsifies Wallace but it is not a seventeenth if something does not utter vagrant. sent2: there exists something such that it does utter vagrant. sent3: the coho is a specific if something does not falsify Wallace. sent4: there are non-saxicolous things. sent5: there is something such that the fact that it is not a seventeenth is not wrong. sent6: there is something such that it does falsify undertow. sent7: the waterspout is not specific. sent8: the MArch is not specific. sent9: something is an internment but it does not utter slumber. sent10: the vagrant utters vagrant but it is not a seventeenth if there is something such that it is not low-tech. sent11: something is a gluon but it does not utter symphilid. sent12: the vagrant is not non-low-tech if it is a specific. sent13: the MArch is not a kind of a citrus. sent14: the fact that there is something such that it does not unveil Langmuir hold. sent15: the coho does falsify Wallace. sent16: the MArch does not utter vagrant if the vagrant is not specific. sent17: the vagrant is not low-tech. sent18: if there exists something such that it is nonspecific then the vagrant utters vagrant. sent19: there exists something such that it is a specific. sent20: the fact that the propylthiouracil is not a specific is not incorrect. sent21: there exists something such that it does uprise. ; $proof$ = 
void -> assump1: Let's assume that the vagrant is a kind of a specific.; sent12 & assump1 -> int1: the vagrant is low-tech.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vagrant is not specific.; int3 & sent16 -> int4: the MArch does not utter vagrant.; int4 -> int5: there exists something such that it does not utter vagrant.; int5 & sent1 -> int6: the coho falsifies Wallace and is not a seventeenth.; int6 -> hypothesis; __DISPROVED__