the compacting contrasting does not occur.
sent1: that the contractualness does not occur triggers that the schismaticness happens and the fox-trot happens. sent2: the compacting contrasting does not occur if that the cousinliness does not occur but the contractualness occurs is not right. sent3: that the circling happens and the fox-trot occurs is triggered by that the syntagmaticness does not occur. sent4: the schismaticness does not occur if the bigamy does not occur. sent5: that the bigamy happens is prevented by that the tripping happens and/or the technologicalness. sent6: that the schismaticness does not occur brings about that the fox-trot does not occur. sent7: that the fossilization does not occur hold. sent8: the syntagmaticness does not occur. sent9: if the trip does not occur that the cousinliness does not occur but the contractualness occurs does not hold.
void -> assump1: Let's assume that the trip occurs.; assump1 -> int1: either the tripping occurs or the technologicalness happens or both.; int1 & sent5 -> int2: the bigamy does not occur.; int2 & sent4 -> int3: the schismaticness does not occur.; int3 & sent6 -> int4: that the fox-trot does not occur is not false.; sent3 & sent8 -> int5: the circle occurs and the fox-trot happens.; int5 -> int6: the fact that the fox-trot occurs is right.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tripping does not occur.; int8 & sent9 -> int9: the fact that the non-cousinliness and the contractualness occurs does not hold.; int9 & sent2 -> hypothesis;
the compacting contrasting happens.
$hypothesis$ = the compacting contrasting does not occur. ; $context$ = sent1: that the contractualness does not occur triggers that the schismaticness happens and the fox-trot happens. sent2: the compacting contrasting does not occur if that the cousinliness does not occur but the contractualness occurs is not right. sent3: that the circling happens and the fox-trot occurs is triggered by that the syntagmaticness does not occur. sent4: the schismaticness does not occur if the bigamy does not occur. sent5: that the bigamy happens is prevented by that the tripping happens and/or the technologicalness. sent6: that the schismaticness does not occur brings about that the fox-trot does not occur. sent7: that the fossilization does not occur hold. sent8: the syntagmaticness does not occur. sent9: if the trip does not occur that the cousinliness does not occur but the contractualness occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the trip occurs.; assump1 -> int1: either the tripping occurs or the technologicalness happens or both.; int1 & sent5 -> int2: the bigamy does not occur.; int2 & sent4 -> int3: the schismaticness does not occur.; int3 & sent6 -> int4: that the fox-trot does not occur is not false.; sent3 & sent8 -> int5: the circle occurs and the fox-trot happens.; int5 -> int6: the fact that the fox-trot occurs is right.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tripping does not occur.; int8 & sent9 -> int9: the fact that the non-cousinliness and the contractualness occurs does not hold.; int9 & sent2 -> hypothesis; __PROVED__