that the ridiculing belay does not occur and/or the epitaxy happens is not right.
sent1: if that both the cantonalness and the re-creation occurs is not correct that the netball does not occur is not false. sent2: the confining pepper-and-salt does not occur and the cytologicalness does not occur if the bootlegging happens. sent3: the Jesuiticalness does not occur. sent4: the fact that both the lunisolarness and the skiing happens is incorrect if the re-creation does not occur. sent5: if the re-creation occurs then the fact that the ridiculing belay does not occur and/or the epitaxy happens is not right. sent6: that the re-creation and the lysogenicness occurs is brought about by that the cantonalness does not occur. sent7: the ridiculing archduchy happens. sent8: that the bootlegging happens or the etiologicalness does not occur or both prevents that the bootlegging does not occur. sent9: that both the roundup and the non-carangidness occurs does not hold. sent10: the ridiculing archduchy leads to that the kvetch but not the tuition happens. sent11: the non-cantonalness prevents the netball. sent12: that the consolidation does not occur is brought about by the non-cytologicalness. sent13: the fact that the lysogenicness does not occur is true if the fact that the roundup does not occur and the carangid does not occur is incorrect. sent14: the kvetch does not occur if the netball does not occur and the ridiculing belay occurs. sent15: if the consolidation does not occur then not the tuition but the ridiculing archduchy occurs. sent16: if the lysogenicness does not occur then the fact that both the cantonalness and the re-creation happens is false. sent17: the fact that the roundup does not occur and the carangidness does not occur is not true.
sent13 & sent17 -> int1: the lysogenicness does not occur.; int1 & sent16 -> int2: the fact that the cantonalness occurs and the re-creation happens is not right.; int2 & sent1 -> int3: the netball does not occur.; void -> assump1: Let's assume that the ridiculing belay happens.; int3 & assump1 -> int4: not the netball but the ridiculing belay occurs.; int4 & sent14 -> int5: the kvetch does not occur.; sent10 & sent7 -> int6: the kvetch happens and the tuition does not occur.; int6 -> int7: the kvetch happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ridiculing belay does not occur.; int9 -> hypothesis;
the fact that the lunisolarness happens and the skiing occurs is incorrect.
$hypothesis$ = that the ridiculing belay does not occur and/or the epitaxy happens is not right. ; $context$ = sent1: if that both the cantonalness and the re-creation occurs is not correct that the netball does not occur is not false. sent2: the confining pepper-and-salt does not occur and the cytologicalness does not occur if the bootlegging happens. sent3: the Jesuiticalness does not occur. sent4: the fact that both the lunisolarness and the skiing happens is incorrect if the re-creation does not occur. sent5: if the re-creation occurs then the fact that the ridiculing belay does not occur and/or the epitaxy happens is not right. sent6: that the re-creation and the lysogenicness occurs is brought about by that the cantonalness does not occur. sent7: the ridiculing archduchy happens. sent8: that the bootlegging happens or the etiologicalness does not occur or both prevents that the bootlegging does not occur. sent9: that both the roundup and the non-carangidness occurs does not hold. sent10: the ridiculing archduchy leads to that the kvetch but not the tuition happens. sent11: the non-cantonalness prevents the netball. sent12: that the consolidation does not occur is brought about by the non-cytologicalness. sent13: the fact that the lysogenicness does not occur is true if the fact that the roundup does not occur and the carangid does not occur is incorrect. sent14: the kvetch does not occur if the netball does not occur and the ridiculing belay occurs. sent15: if the consolidation does not occur then not the tuition but the ridiculing archduchy occurs. sent16: if the lysogenicness does not occur then the fact that both the cantonalness and the re-creation happens is false. sent17: the fact that the roundup does not occur and the carangidness does not occur is not true. ; $proof$ = 
sent13 & sent17 -> int1: the lysogenicness does not occur.; int1 & sent16 -> int2: the fact that the cantonalness occurs and the re-creation happens is not right.; int2 & sent1 -> int3: the netball does not occur.; void -> assump1: Let's assume that the ridiculing belay happens.; int3 & assump1 -> int4: not the netball but the ridiculing belay occurs.; int4 & sent14 -> int5: the kvetch does not occur.; sent10 & sent7 -> int6: the kvetch happens and the tuition does not occur.; int6 -> int7: the kvetch happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the ridiculing belay does not occur.; int9 -> hypothesis; __DISPROVED__