that the synonymousness does not occur and the trafficking rusted occurs is not right.
sent1: that if the calibration occurs the fact that the synonymousness does not occur but the trafficking rusted happens is not correct is right. sent2: if the persuasion does not occur that the masquerading does not occur but the cleanliness happens is false. sent3: if the lieutenancy does not occur then the fact that not the Aristotelianness but the moonwalk occurs does not hold. sent4: if the counterpoint does not occur and/or the irreconcilableness does not occur the counterpoint does not occur. sent5: if that the non-Aristotelianness and the moonwalk happens is incorrect then the counterpointing happens. sent6: the lieutenancy does not occur if the sashay does not occur. sent7: the irreconcilableness does not occur. sent8: the Cappadocianness does not occur and/or the standardization does not occur. sent9: the fact that the trafficking rusted happens is not incorrect if the fact that the lieutenancy but not the trafficking rusted occurs is not right. sent10: that the fundamental does not occur is not false. sent11: that the sashay happens causes that the calibration occurs.
void -> assump1: Let's assume that the sashay does not occur.; sent6 & assump1 -> int1: the lieutenancy does not occur.; int1 & sent3 -> int2: that both the non-Aristotelianness and the moonwalk occurs is not true.; int2 & sent5 -> int3: the counterpointing happens.; sent7 -> int4: the counterpointing does not occur and/or the irreconcilableness does not occur.; sent4 & int4 -> int5: the counterpointing does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sashay occurs.; int7 & sent11 -> int8: the calibration happens.; int8 & sent1 -> hypothesis;
the synonymousness does not occur and the trafficking rusted occurs.
$hypothesis$ = that the synonymousness does not occur and the trafficking rusted occurs is not right. ; $context$ = sent1: that if the calibration occurs the fact that the synonymousness does not occur but the trafficking rusted happens is not correct is right. sent2: if the persuasion does not occur that the masquerading does not occur but the cleanliness happens is false. sent3: if the lieutenancy does not occur then the fact that not the Aristotelianness but the moonwalk occurs does not hold. sent4: if the counterpoint does not occur and/or the irreconcilableness does not occur the counterpoint does not occur. sent5: if that the non-Aristotelianness and the moonwalk happens is incorrect then the counterpointing happens. sent6: the lieutenancy does not occur if the sashay does not occur. sent7: the irreconcilableness does not occur. sent8: the Cappadocianness does not occur and/or the standardization does not occur. sent9: the fact that the trafficking rusted happens is not incorrect if the fact that the lieutenancy but not the trafficking rusted occurs is not right. sent10: that the fundamental does not occur is not false. sent11: that the sashay happens causes that the calibration occurs. ; $proof$ = 
void -> assump1: Let's assume that the sashay does not occur.; sent6 & assump1 -> int1: the lieutenancy does not occur.; int1 & sent3 -> int2: that both the non-Aristotelianness and the moonwalk occurs is not true.; int2 & sent5 -> int3: the counterpointing happens.; sent7 -> int4: the counterpointing does not occur and/or the irreconcilableness does not occur.; sent4 & int4 -> int5: the counterpointing does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sashay occurs.; int7 & sent11 -> int8: the calibration happens.; int8 & sent1 -> hypothesis; __PROVED__