if that the finishing bantam occurs is correct the windwardness occurs.
sent1: the pemphigousness occurs. sent2: the fact that the fact that the horizontalness does not occur and the accelerating does not occur is correct is incorrect. sent3: the fact that the dusting occurs is true if the jolt does not occur. sent4: that the splatting cash happens is not false if the Merovingian does not occur. sent5: that the fact that the fatigue does not occur and the conspiring does not occur hold is false. sent6: the windward but not the filtration happens if the designing does not occur. sent7: the fragmenting fairness yields that the truckage but not the finishing bantam occurs. sent8: the outflanking ogress happens. sent9: the ectomorphicness does not occur. sent10: the design does not occur and the finishing prick occurs if the iridicness occurs. sent11: the fact that the outflanking deck-house does not occur and the splatting consummation does not occur does not hold if the truckage occurs. sent12: the Ismaili is caused by that the prolongation does not occur. sent13: if the windward happens but the filtration does not occur then the fragmenting fairness happens. sent14: the splatting cash occurs if the isolation occurs. sent15: that if that the execration does not occur and the argument does not occur does not hold then the acceding does not occur is not false. sent16: if the fact that the idolization does not occur and the noisiness does not occur is not true then that the finishing bantam does not occur hold. sent17: the filtration is prevented by that the fragmenting fairness but not the truckage occurs. sent18: if that the idolization does not occur is not false then the fragmenting fairness does not occur and the truckage does not occur. sent19: if the fact that the filtration does not occur hold the windward happens. sent20: if the inductiveness does not occur then the iridicness occurs and the proctorship occurs. sent21: that the idolization and the non-noisyness occurs is not right.
void -> assump1: Let's assume that the fact that the idolization does not occur and the noisiness does not occur is not right.; sent16 & assump1 -> int1: the finishing bantam does not occur.; void -> assump2: Let's assume that the fact that the finishing bantam happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the idolization does not occur and the noisiness does not occur.; int3 -> int4: the idolization does not occur.; int4 & sent18 -> int5: the fragmenting fairness does not occur and the truckage does not occur.;
the fact that the outflanking deck-house does not occur and the splatting consummation does not occur is wrong.
$hypothesis$ = if that the finishing bantam occurs is correct the windwardness occurs. ; $context$ = sent1: the pemphigousness occurs. sent2: the fact that the fact that the horizontalness does not occur and the accelerating does not occur is correct is incorrect. sent3: the fact that the dusting occurs is true if the jolt does not occur. sent4: that the splatting cash happens is not false if the Merovingian does not occur. sent5: that the fact that the fatigue does not occur and the conspiring does not occur hold is false. sent6: the windward but not the filtration happens if the designing does not occur. sent7: the fragmenting fairness yields that the truckage but not the finishing bantam occurs. sent8: the outflanking ogress happens. sent9: the ectomorphicness does not occur. sent10: the design does not occur and the finishing prick occurs if the iridicness occurs. sent11: the fact that the outflanking deck-house does not occur and the splatting consummation does not occur does not hold if the truckage occurs. sent12: the Ismaili is caused by that the prolongation does not occur. sent13: if the windward happens but the filtration does not occur then the fragmenting fairness happens. sent14: the splatting cash occurs if the isolation occurs. sent15: that if that the execration does not occur and the argument does not occur does not hold then the acceding does not occur is not false. sent16: if the fact that the idolization does not occur and the noisiness does not occur is not true then that the finishing bantam does not occur hold. sent17: the filtration is prevented by that the fragmenting fairness but not the truckage occurs. sent18: if that the idolization does not occur is not false then the fragmenting fairness does not occur and the truckage does not occur. sent19: if the fact that the filtration does not occur hold the windward happens. sent20: if the inductiveness does not occur then the iridicness occurs and the proctorship occurs. sent21: that the idolization and the non-noisyness occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the idolization does not occur and the noisiness does not occur is not right.; sent16 & assump1 -> int1: the finishing bantam does not occur.; void -> assump2: Let's assume that the fact that the finishing bantam happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the idolization does not occur and the noisiness does not occur.; int3 -> int4: the idolization does not occur.; int4 & sent18 -> int5: the fragmenting fairness does not occur and the truckage does not occur.; __UNKNOWN__