the fact that the push does not occur or the laicizing happens or both does not hold if the fact that the Zephyr occurs hold.
sent1: that the farewell occurs brings about either that the whiplash does not occur or that the Paraguayanness occurs or both. sent2: the extending intonation occurs if that the curb does not occur and the extending Sabaoth does not occur is false. sent3: the custom-made occurs if that the non-Hungarianness and the non-aerodynamicness happens does not hold. sent4: the push occurs. sent5: if the sliming adult happens then the dithyramb occurs. sent6: the utopianness occurs. sent7: that the ursineness happens and the caring happens is correct. sent8: that the extending copy and the Iraqi occurs is not false. sent9: if the Hungarian occurs then the custom-made occurs. sent10: the fact that the Hungarianness and the non-aerodynamicness occurs does not hold. sent11: that the repulsion does not occur is triggered by that both the dermabrasion and the Zephyr happens. sent12: if the perfidy does not occur and the rabbitting does not occur then the knocking occurs. sent13: the knock and the perfidy occurs. sent14: the stubbing Wesley happens. sent15: the push does not occur and/or the laicizing happens. sent16: that the rabbit happens triggers that the dermabrasion happens. sent17: if the perfidy happens the rabbitting happens. sent18: that the Zephyr happens results in that the push happens. sent19: the existentialistness happens. sent20: if the repulsion does not occur then that the non-Hungarianness and the non-aerodynamicness happens does not hold. sent21: the knock happens. sent22: if the knocking happens then the fact that the extending Sabaoth does not occur and/or the extending rearmament occurs is not correct.
sent13 -> int1: the perfidy happens.; sent17 & int1 -> int2: the rabbit happens.; sent16 & int2 -> int3: the dermabrasion happens.; void -> assump1: Let's assume that the Zephyr happens.; int3 & assump1 -> int4: both the dermabrasion and the Zephyr occurs.; sent11 & int4 -> int5: the repulsion does not occur.; sent20 & int5 -> int6: that both the non-Hungarianness and the non-aerodynamicness happens is incorrect.; sent3 & int6 -> int7: the custom-madeness occurs.;
the fact that either the extending Sabaoth does not occur or the extending rearmament occurs or both is false.
$hypothesis$ = the fact that the push does not occur or the laicizing happens or both does not hold if the fact that the Zephyr occurs hold. ; $context$ = sent1: that the farewell occurs brings about either that the whiplash does not occur or that the Paraguayanness occurs or both. sent2: the extending intonation occurs if that the curb does not occur and the extending Sabaoth does not occur is false. sent3: the custom-made occurs if that the non-Hungarianness and the non-aerodynamicness happens does not hold. sent4: the push occurs. sent5: if the sliming adult happens then the dithyramb occurs. sent6: the utopianness occurs. sent7: that the ursineness happens and the caring happens is correct. sent8: that the extending copy and the Iraqi occurs is not false. sent9: if the Hungarian occurs then the custom-made occurs. sent10: the fact that the Hungarianness and the non-aerodynamicness occurs does not hold. sent11: that the repulsion does not occur is triggered by that both the dermabrasion and the Zephyr happens. sent12: if the perfidy does not occur and the rabbitting does not occur then the knocking occurs. sent13: the knock and the perfidy occurs. sent14: the stubbing Wesley happens. sent15: the push does not occur and/or the laicizing happens. sent16: that the rabbit happens triggers that the dermabrasion happens. sent17: if the perfidy happens the rabbitting happens. sent18: that the Zephyr happens results in that the push happens. sent19: the existentialistness happens. sent20: if the repulsion does not occur then that the non-Hungarianness and the non-aerodynamicness happens does not hold. sent21: the knock happens. sent22: if the knocking happens then the fact that the extending Sabaoth does not occur and/or the extending rearmament occurs is not correct. ; $proof$ = 
sent13 -> int1: the perfidy happens.; sent17 & int1 -> int2: the rabbit happens.; sent16 & int2 -> int3: the dermabrasion happens.; void -> assump1: Let's assume that the Zephyr happens.; int3 & assump1 -> int4: both the dermabrasion and the Zephyr occurs.; sent11 & int4 -> int5: the repulsion does not occur.; sent20 & int5 -> int6: that both the non-Hungarianness and the non-aerodynamicness happens is incorrect.; sent3 & int6 -> int7: the custom-madeness occurs.; __UNKNOWN__