the fact that the correction occurs is right.
sent1: the scouring Potorous happens. sent2: the scouring Potorous but not the angling happens if the exchange does not occur. sent3: that the silencing Tristan happens leads to that both the non-arseniousness and the quintupling voltage occurs. sent4: that the silencing cookie does not occur yields the quintupling Arab and/or the usefulness. sent5: the fact that the berth occurs and the scouring subjectivity does not occur is not right if the fact that the exchanging occurs hold. sent6: if the scouring subjectivity happens the berth occurs. sent7: that the exchange and the angling happens is brought about by that the scouring Potorous does not occur. sent8: that both the femoralness and the lobeliaceousness occurs is not true. sent9: both the e-commerce and the insert happens if the femoralness does not occur. sent10: that the incineration occurs and the moon-worship does not occur is triggered by that the voicing does not occur. sent11: if the e-commerce does not occur then the scouring Potorous does not occur and the inserting does not occur. sent12: if the Wake does not occur then the fact that both the e-commerce and the femoralness happens is wrong. sent13: the fact that the silencing Tristan occurs is right if the fact that the lodging does not occur and the silencing Tristan does not occur does not hold. sent14: that the exchange does not occur is caused by that the berthing occurs and the correction occurs. sent15: the e-commerce occurs. sent16: the nebule happens if the quintupling Arab occurs. sent17: that the silencing polonium does not occur brings about that the irradiating happens and the scouring lodestone does not occur. sent18: the voicing does not occur. sent19: that the moon-worship does not occur triggers that the scouring colonization and the scouring gizzard happens. sent20: the silencing cookie does not occur but the allelicness happens if the scouring colonization occurs. sent21: the scouring subjectivity occurs. sent22: if the initiation does not occur and the lobeliaceousness does not occur that the Wake does not occur hold. sent23: the femoralness does not occur if the fact that the femoralness and the lobeliaceousness happens does not hold. sent24: that if the fact that the quintupling voltage happens hold then the initiation does not occur and the lobeliaceousness does not occur is right. sent25: if the nebule happens then the fact that the lodging does not occur and the silencing Tristan does not occur is incorrect. sent26: the scouring Potorous happens if that the exchange does not occur hold. sent27: if the inserting happens then the angling happens.
sent6 & sent21 -> int1: the berth occurs.; void -> assump1: Let's assume that the correction occurs.; int1 & assump1 -> int2: the berth and the correction occurs.; int2 & sent14 -> int3: the fact that the exchanging does not occur is correct.; int3 & sent2 -> int4: the scouring Potorous but not the angling occurs.; int4 -> int5: the angling does not occur.; sent23 & sent8 -> int6: the femoralness does not occur.; sent9 & int6 -> int7: the e-commerce and the insert happens.; int7 -> int8: the insert occurs.; sent27 & int8 -> int9: the angling occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the correction happens.
sent10 & sent18 -> int11: the incineration occurs and the moon-worship does not occur.; int11 -> int12: that the moon-worship does not occur is not incorrect.; sent19 & int12 -> int13: the scouring colonization happens and the scouring gizzard occurs.; int13 -> int14: the scouring colonization occurs.; sent20 & int14 -> int15: the silencing cookie does not occur and the allelicness happens.; int15 -> int16: the silencing cookie does not occur.; sent4 & int16 -> int17: the quintupling Arab happens and/or the usefulness happens.;
$hypothesis$ = the fact that the correction occurs is right. ; $context$ = sent1: the scouring Potorous happens. sent2: the scouring Potorous but not the angling happens if the exchange does not occur. sent3: that the silencing Tristan happens leads to that both the non-arseniousness and the quintupling voltage occurs. sent4: that the silencing cookie does not occur yields the quintupling Arab and/or the usefulness. sent5: the fact that the berth occurs and the scouring subjectivity does not occur is not right if the fact that the exchanging occurs hold. sent6: if the scouring subjectivity happens the berth occurs. sent7: that the exchange and the angling happens is brought about by that the scouring Potorous does not occur. sent8: that both the femoralness and the lobeliaceousness occurs is not true. sent9: both the e-commerce and the insert happens if the femoralness does not occur. sent10: that the incineration occurs and the moon-worship does not occur is triggered by that the voicing does not occur. sent11: if the e-commerce does not occur then the scouring Potorous does not occur and the inserting does not occur. sent12: if the Wake does not occur then the fact that both the e-commerce and the femoralness happens is wrong. sent13: the fact that the silencing Tristan occurs is right if the fact that the lodging does not occur and the silencing Tristan does not occur does not hold. sent14: that the exchange does not occur is caused by that the berthing occurs and the correction occurs. sent15: the e-commerce occurs. sent16: the nebule happens if the quintupling Arab occurs. sent17: that the silencing polonium does not occur brings about that the irradiating happens and the scouring lodestone does not occur. sent18: the voicing does not occur. sent19: that the moon-worship does not occur triggers that the scouring colonization and the scouring gizzard happens. sent20: the silencing cookie does not occur but the allelicness happens if the scouring colonization occurs. sent21: the scouring subjectivity occurs. sent22: if the initiation does not occur and the lobeliaceousness does not occur that the Wake does not occur hold. sent23: the femoralness does not occur if the fact that the femoralness and the lobeliaceousness happens does not hold. sent24: that if the fact that the quintupling voltage happens hold then the initiation does not occur and the lobeliaceousness does not occur is right. sent25: if the nebule happens then the fact that the lodging does not occur and the silencing Tristan does not occur is incorrect. sent26: the scouring Potorous happens if that the exchange does not occur hold. sent27: if the inserting happens then the angling happens. ; $proof$ = 
sent6 & sent21 -> int1: the berth occurs.; void -> assump1: Let's assume that the correction occurs.; int1 & assump1 -> int2: the berth and the correction occurs.; int2 & sent14 -> int3: the fact that the exchanging does not occur is correct.; int3 & sent2 -> int4: the scouring Potorous but not the angling occurs.; int4 -> int5: the angling does not occur.; sent23 & sent8 -> int6: the femoralness does not occur.; sent9 & int6 -> int7: the e-commerce and the insert happens.; int7 -> int8: the insert occurs.; sent27 & int8 -> int9: the angling occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__