the fact that the fact that the infection happens is not wrong if the rubdown occurs is false.
sent1: the infection occurs if the fact that the azoness does not occur and the rubdown does not occur is not true. sent2: not the collimation but the accusatorialness occurs if the faecalness does not occur. sent3: if the clarification does not occur the fact that both the mid-on and the ballgame occurs is right. sent4: that the rarefaction happens but the flashing does not occur is false if the collimation does not occur. sent5: the impermeableness does not occur if that that the contrasting but not the difficulty occurs is wrong is not wrong. sent6: that the clarification does not occur if the fact that the decapitation or the mininess or both happens is not true hold. sent7: that the non-sugariness and the obliterating happens is incorrect if the leanness does not occur. sent8: the leanness does not occur and the legislatorship does not occur if the commonness does not occur. sent9: if the streamer does not occur the fact that the decapitation occurs and/or the mininess happens is not right. sent10: the pinning maser does not occur if that the rubdown but not the azoness occurs is false. sent11: the faecalness does not occur if either the authorship does not occur or the mid-on happens or both. sent12: the fact that the obliterating occurs is not right if the fact that both the non-sugariness and the obliterating happens is not correct. sent13: if the fact that the infection does not occur is not incorrect the fact that both the rubdown and the non-azoness happens does not hold. sent14: the fact that the contrast but not the difficulty happens does not hold. sent15: the non-impermeableness triggers that the commonness does not occur and the curling occurs. sent16: that the hypnotizing Virgilia does not occur and the adjuration does not occur leads to that the streamer does not occur. sent17: that the hypnotizing Virgilia does not occur and the adjuration does not occur is brought about by that the crediting occurs. sent18: the furor occurs and the credit occurs if that the obliterating does not occur is not false. sent19: if that the rarefaction occurs but the flashing does not occur is not right the infection does not occur.
void -> assump2: Let's assume that the azoness does not occur and the rubdown does not occur.; assump2 -> int1: the rubdown does not occur.; void -> assump1: Let's assume that the rubdown happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the azoness does not occur and the rubdown does not occur is not correct.; int3 & sent1 -> int4: the infection happens.; [assump1] & int4 -> hypothesis;
the pinning maser does not occur.
sent5 & sent14 -> int5: the impermeableness does not occur.; sent15 & int5 -> int6: that not the commonness but the curling happens is right.; int6 -> int7: the commonness does not occur.; sent8 & int7 -> int8: the leanness does not occur and the legislatorship does not occur.; int8 -> int9: the leaning does not occur.; sent7 & int9 -> int10: that not the sugariness but the obliterating happens does not hold.; sent12 & int10 -> int11: the obliterating does not occur.; sent18 & int11 -> int12: the furor occurs and the crediting occurs.; int12 -> int13: the crediting occurs.; sent17 & int13 -> int14: the hypnotizing Virgilia does not occur and the adjuration does not occur.; sent16 & int14 -> int15: that the streamer does not occur is right.; sent9 & int15 -> int16: that the decapitation happens and/or the mininess occurs is incorrect.; sent6 & int16 -> int17: the clarification does not occur.; sent3 & int17 -> int18: the mid-on and the ballgame occurs.; int18 -> int19: the mid-on happens.; int19 -> int20: either the authorship does not occur or the mid-on happens or both.; sent11 & int20 -> int21: the faecalness does not occur.; sent2 & int21 -> int22: the collimation does not occur but the accusatorialness occurs.; int22 -> int23: the collimation does not occur.; sent4 & int23 -> int24: the fact that the rarefaction occurs and the flashing does not occur is incorrect.; sent19 & int24 -> int25: the infection does not occur.; sent13 & int25 -> int26: the fact that the rubdown happens and the azoness does not occur is wrong.; sent10 & int26 -> hypothesis;
$hypothesis$ = the fact that the fact that the infection happens is not wrong if the rubdown occurs is false. ; $context$ = sent1: the infection occurs if the fact that the azoness does not occur and the rubdown does not occur is not true. sent2: not the collimation but the accusatorialness occurs if the faecalness does not occur. sent3: if the clarification does not occur the fact that both the mid-on and the ballgame occurs is right. sent4: that the rarefaction happens but the flashing does not occur is false if the collimation does not occur. sent5: the impermeableness does not occur if that that the contrasting but not the difficulty occurs is wrong is not wrong. sent6: that the clarification does not occur if the fact that the decapitation or the mininess or both happens is not true hold. sent7: that the non-sugariness and the obliterating happens is incorrect if the leanness does not occur. sent8: the leanness does not occur and the legislatorship does not occur if the commonness does not occur. sent9: if the streamer does not occur the fact that the decapitation occurs and/or the mininess happens is not right. sent10: the pinning maser does not occur if that the rubdown but not the azoness occurs is false. sent11: the faecalness does not occur if either the authorship does not occur or the mid-on happens or both. sent12: the fact that the obliterating occurs is not right if the fact that both the non-sugariness and the obliterating happens is not correct. sent13: if the fact that the infection does not occur is not incorrect the fact that both the rubdown and the non-azoness happens does not hold. sent14: the fact that the contrast but not the difficulty happens does not hold. sent15: the non-impermeableness triggers that the commonness does not occur and the curling occurs. sent16: that the hypnotizing Virgilia does not occur and the adjuration does not occur leads to that the streamer does not occur. sent17: that the hypnotizing Virgilia does not occur and the adjuration does not occur is brought about by that the crediting occurs. sent18: the furor occurs and the credit occurs if that the obliterating does not occur is not false. sent19: if that the rarefaction occurs but the flashing does not occur is not right the infection does not occur. ; $proof$ = 
void -> assump2: Let's assume that the azoness does not occur and the rubdown does not occur.; assump2 -> int1: the rubdown does not occur.; void -> assump1: Let's assume that the rubdown happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the azoness does not occur and the rubdown does not occur is not correct.; int3 & sent1 -> int4: the infection happens.; [assump1] & int4 -> hypothesis; __DISPROVED__