the takeover does not occur.
sent1: that the bastardization happens and the possible happens does not hold if the credibleness does not occur. sent2: the credibleness or the non-possibleness or both occurs. sent3: the non-knee-lengthness leads to that the networking seidel occurs. sent4: the networking seidel happens. sent5: if the unsociableness occurs the credibleness does not occur and the sedimenting piolet does not occur. sent6: the rental occurs if the transient does not occur and the networking seidel does not occur. sent7: that both the jugglery and the Land occurs is false if the takeover does not occur. sent8: if the rental does not occur the transient does not occur. sent9: the fact that the non-knee-lengthness leads to that the transient and the networking seidel happens is not false. sent10: if the takeover does not occur that the jugglery occurs and the Land does not occur is not true. sent11: if the credibleness does not occur the knee-lengthness does not occur. sent12: the whaling happens. sent13: if the fact that the Land occurs is not wrong the rental does not occur. sent14: that the jugglery happens and the Land happens is not true. sent15: the rental does not occur if the fact that the jugglery but not the Land occurs does not hold. sent16: the incredibleness and/or the impossibleness happens. sent17: if that the unacceptableness does not occur is right the teaching vacancy does not occur. sent18: that the incredibleness and/or the impossibleness occurs triggers that the knee-lengthness does not occur. sent19: either that the bonanza does not occur or that the sedimenting Hexagrammidae does not occur or both results in that the gibbering does not occur. sent20: the centrifugalness occurs. sent21: the possible does not occur if the fact that the bastardization occurs and the possible occurs is not correct.
void -> assump1: Let's assume that the takeover does not occur.; sent10 & assump1 -> int1: that the jugglery happens and the Land does not occur is not true.; int1 & sent15 -> int2: the rentalness does not occur.; int2 & sent8 -> int3: the transient does not occur.; sent18 & sent16 -> int4: that the knee-lengthness does not occur is correct.; sent9 & int4 -> int5: the transient occurs and the networking seidel happens.; int5 -> int6: the transient happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the Chicago happens.
$hypothesis$ = the takeover does not occur. ; $context$ = sent1: that the bastardization happens and the possible happens does not hold if the credibleness does not occur. sent2: the credibleness or the non-possibleness or both occurs. sent3: the non-knee-lengthness leads to that the networking seidel occurs. sent4: the networking seidel happens. sent5: if the unsociableness occurs the credibleness does not occur and the sedimenting piolet does not occur. sent6: the rental occurs if the transient does not occur and the networking seidel does not occur. sent7: that both the jugglery and the Land occurs is false if the takeover does not occur. sent8: if the rental does not occur the transient does not occur. sent9: the fact that the non-knee-lengthness leads to that the transient and the networking seidel happens is not false. sent10: if the takeover does not occur that the jugglery occurs and the Land does not occur is not true. sent11: if the credibleness does not occur the knee-lengthness does not occur. sent12: the whaling happens. sent13: if the fact that the Land occurs is not wrong the rental does not occur. sent14: that the jugglery happens and the Land happens is not true. sent15: the rental does not occur if the fact that the jugglery but not the Land occurs does not hold. sent16: the incredibleness and/or the impossibleness happens. sent17: if that the unacceptableness does not occur is right the teaching vacancy does not occur. sent18: that the incredibleness and/or the impossibleness occurs triggers that the knee-lengthness does not occur. sent19: either that the bonanza does not occur or that the sedimenting Hexagrammidae does not occur or both results in that the gibbering does not occur. sent20: the centrifugalness occurs. sent21: the possible does not occur if the fact that the bastardization occurs and the possible occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the takeover does not occur.; sent10 & assump1 -> int1: that the jugglery happens and the Land does not occur is not true.; int1 & sent15 -> int2: the rentalness does not occur.; int2 & sent8 -> int3: the transient does not occur.; sent18 & sent16 -> int4: that the knee-lengthness does not occur is correct.; sent9 & int4 -> int5: the transient occurs and the networking seidel happens.; int5 -> int6: the transient happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__