the isotonicness occurs but the bowl does not occur.
sent1: if the fact that the collectivization happens is not incorrect the offense occurs. sent2: if the according hypertension happens the Merovingian occurs. sent3: that the lysogenicness and the Wave occurs prevents the offense. sent4: that that the collectivization does not occur is not right is correct. sent5: the according hypertension and the resumption happens. sent6: the lysogenicness occurs if the Merovingian happens. sent7: that the Wave does not occur results in that the isotonicness but not the bowling occurs.
sent5 -> int1: the according hypertension occurs.; int1 & sent2 -> int2: the Merovingianness occurs.; int2 & sent6 -> int3: the lysogenicness happens.; void -> assump1: Let's assume that the Wave occurs.; int3 & assump1 -> int4: the lysogenicness happens and the Wave occurs.; int4 & sent3 -> int5: the fact that the offense does not occur hold.; sent1 & sent4 -> int6: the offense occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the Wave does not occur is correct.; int8 & sent7 -> hypothesis;
$hypothesis$ = the isotonicness occurs but the bowl does not occur. ; $context$ = sent1: if the fact that the collectivization happens is not incorrect the offense occurs. sent2: if the according hypertension happens the Merovingian occurs. sent3: that the lysogenicness and the Wave occurs prevents the offense. sent4: that that the collectivization does not occur is not right is correct. sent5: the according hypertension and the resumption happens. sent6: the lysogenicness occurs if the Merovingian happens. sent7: that the Wave does not occur results in that the isotonicness but not the bowling occurs. ; $proof$ = 
sent5 -> int1: the according hypertension occurs.; int1 & sent2 -> int2: the Merovingianness occurs.; int2 & sent6 -> int3: the lysogenicness happens.; void -> assump1: Let's assume that the Wave occurs.; int3 & assump1 -> int4: the lysogenicness happens and the Wave occurs.; int4 & sent3 -> int5: the fact that the offense does not occur hold.; sent1 & sent4 -> int6: the offense occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the Wave does not occur is correct.; int8 & sent7 -> hypothesis; __PROVED__