that the iridotomy does not occur and the snowball does not occur is not right.
sent1: the Arminianness but not the conflict occurs. sent2: that the shockableness does not occur yields that the joyousness and the launching happens. sent3: not the perineotomy but the motorcycling happens. sent4: that the terrorization occurs and the Arminianness happens leads to the non-calyptrateness. sent5: that the non-calyptrateness and the launching happens prevents that the ceremoniousness happens. sent6: that the terrorization happens is brought about by that not the perineotomy but the motorcycling occurs. sent7: the iridotomy does not occur and the snowballing does not occur if the ceremoniousness does not occur. sent8: both the anencephalicness and the non-Arabianness happens. sent9: the shockableness is prevented by that the anencephalicness but not the Arabianness happens.
sent6 & sent3 -> int1: the terrorization happens.; sent1 -> int2: the fact that the Arminianness happens hold.; int1 & int2 -> int3: both the terrorization and the Arminianness happens.; int3 & sent4 -> int4: the fact that the calyptrateness does not occur is not false.; sent9 & sent8 -> int5: the shockableness does not occur.; sent2 & int5 -> int6: the joyousness happens and the launching happens.; int6 -> int7: the launching occurs.; int4 & int7 -> int8: both the non-calyptrateness and the launching happens.; int8 & sent5 -> int9: the ceremoniousness does not occur.; int9 & sent7 -> hypothesis;
$hypothesis$ = that the iridotomy does not occur and the snowball does not occur is not right. ; $context$ = sent1: the Arminianness but not the conflict occurs. sent2: that the shockableness does not occur yields that the joyousness and the launching happens. sent3: not the perineotomy but the motorcycling happens. sent4: that the terrorization occurs and the Arminianness happens leads to the non-calyptrateness. sent5: that the non-calyptrateness and the launching happens prevents that the ceremoniousness happens. sent6: that the terrorization happens is brought about by that not the perineotomy but the motorcycling occurs. sent7: the iridotomy does not occur and the snowballing does not occur if the ceremoniousness does not occur. sent8: both the anencephalicness and the non-Arabianness happens. sent9: the shockableness is prevented by that the anencephalicness but not the Arabianness happens. ; $proof$ = 
sent6 & sent3 -> int1: the terrorization happens.; sent1 -> int2: the fact that the Arminianness happens hold.; int1 & int2 -> int3: both the terrorization and the Arminianness happens.; int3 & sent4 -> int4: the fact that the calyptrateness does not occur is not false.; sent9 & sent8 -> int5: the shockableness does not occur.; sent2 & int5 -> int6: the joyousness happens and the launching happens.; int6 -> int7: the launching occurs.; int4 & int7 -> int8: both the non-calyptrateness and the launching happens.; int8 & sent5 -> int9: the ceremoniousness does not occur.; int9 & sent7 -> hypothesis; __DISPROVED__