the sulfonate is not neocortical and does not commutate Zaragoza.
sent1: the sulfonate is not Tantric if it is not a dustiness. sent2: the sulfonate is a kind of a dustiness. sent3: if the convent does not rival playbill the fact that the bombazine is not a kind of a deification and it is not Tantric is not true. sent4: the fact that something is not a peroneus and/or is not infinitival is not true if it is a kind of a circumnavigation. sent5: if a dustiness does not utter it is not a crus. sent6: if the bombazine is Tantric then the sulfonate is Tantric. sent7: if there is something such that the fact that it is not a kind of a peroneus or it is not infinitival or both is not true the oboist is a tyrannicide. sent8: something that is not a kind of a crus is non-neocortical thing that does not commutate Zaragoza. sent9: either the bombazine is Tantric or it is a deification or both. sent10: the fact that the oboist does not learn and it is not a waterfowl is wrong. sent11: if the bombazine is not a crus that the sulfonate is a kind of non-neocortical thing that does not commutate Zaragoza is not right. sent12: the fact that the sulfonate is not neocortical is right if it is not a kind of a crus. sent13: the fact that the sulfonate is not neocortical is not incorrect. sent14: that the sulfonate is Tantric is not wrong if the fact that the bombazine is a deification hold. sent15: that the bombazine is not a crus is not wrong if it is not Tantric. sent16: something commutates Sheridan if that it does not learn and it is not a waterfowl is false. sent17: if something is a kind of a dustiness but it is non-Tantric then it is not neocortical. sent18: the pavior is a circumnavigation. sent19: if the fact that the sulfonate is a dustiness and does not utter is false then it is not Tantric. sent20: if that something is not a kind of a crus is not wrong then it is not neocortical. sent21: the bombazine does not utter.
void -> assump1: Let's assume that that the sulfonate is a dustiness and does not utter is not right.; sent19 & assump1 -> int1: the sulfonate is not Tantric.; sent9 & sent6 & sent14 -> int2: the sulfonate is Tantric.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sulfonate is a dustiness that does not utter.; sent5 -> int5: if the sulfonate is a dustiness and does not utter then it is not a crus.; int4 & int5 -> int6: the sulfonate is not a crus.; sent8 -> int7: that the sulfonate is non-neocortical thing that does not commutate Zaragoza is right if it is not a crus.; int6 & int7 -> hypothesis;
the fact that that the sulfonate is non-neocortical thing that does not commutate Zaragoza is not false does not hold.
sent16 -> int8: if that the oboist does not learn and it is not a waterfowl is not correct it does commutate Sheridan.; int8 & sent10 -> int9: the oboist commutates Sheridan.; sent4 -> int10: the fact that the pavior is not a peroneus or it is not infinitival or both is incorrect if it is a kind of a circumnavigation.; int10 & sent18 -> int11: that the pavior is not a peroneus and/or it is not infinitival does not hold.; int11 -> int12: there exists something such that that either it is not a peroneus or it is not infinitival or both does not hold.; int12 & sent7 -> int13: the oboist is a tyrannicide.; int9 & int13 -> int14: the oboist does commutate Sheridan and is a kind of a tyrannicide.; int14 -> int15: something does commutate Sheridan and is a kind of a tyrannicide.;
$hypothesis$ = the sulfonate is not neocortical and does not commutate Zaragoza. ; $context$ = sent1: the sulfonate is not Tantric if it is not a dustiness. sent2: the sulfonate is a kind of a dustiness. sent3: if the convent does not rival playbill the fact that the bombazine is not a kind of a deification and it is not Tantric is not true. sent4: the fact that something is not a peroneus and/or is not infinitival is not true if it is a kind of a circumnavigation. sent5: if a dustiness does not utter it is not a crus. sent6: if the bombazine is Tantric then the sulfonate is Tantric. sent7: if there is something such that the fact that it is not a kind of a peroneus or it is not infinitival or both is not true the oboist is a tyrannicide. sent8: something that is not a kind of a crus is non-neocortical thing that does not commutate Zaragoza. sent9: either the bombazine is Tantric or it is a deification or both. sent10: the fact that the oboist does not learn and it is not a waterfowl is wrong. sent11: if the bombazine is not a crus that the sulfonate is a kind of non-neocortical thing that does not commutate Zaragoza is not right. sent12: the fact that the sulfonate is not neocortical is right if it is not a kind of a crus. sent13: the fact that the sulfonate is not neocortical is not incorrect. sent14: that the sulfonate is Tantric is not wrong if the fact that the bombazine is a deification hold. sent15: that the bombazine is not a crus is not wrong if it is not Tantric. sent16: something commutates Sheridan if that it does not learn and it is not a waterfowl is false. sent17: if something is a kind of a dustiness but it is non-Tantric then it is not neocortical. sent18: the pavior is a circumnavigation. sent19: if the fact that the sulfonate is a dustiness and does not utter is false then it is not Tantric. sent20: if that something is not a kind of a crus is not wrong then it is not neocortical. sent21: the bombazine does not utter. ; $proof$ = 
void -> assump1: Let's assume that that the sulfonate is a dustiness and does not utter is not right.; sent19 & assump1 -> int1: the sulfonate is not Tantric.; sent9 & sent6 & sent14 -> int2: the sulfonate is Tantric.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sulfonate is a dustiness that does not utter.; sent5 -> int5: if the sulfonate is a dustiness and does not utter then it is not a crus.; int4 & int5 -> int6: the sulfonate is not a crus.; sent8 -> int7: that the sulfonate is non-neocortical thing that does not commutate Zaragoza is right if it is not a crus.; int6 & int7 -> hypothesis; __PROVED__