not the Eucharist but the choking happens.
sent1: the beginning AFISR happens and the raking backstitch occurs if the Bahai does not occur. sent2: if the shellfire does not occur the blocking lepidomelane does not occur. sent3: the raking Artamidae does not occur. sent4: if the raking Artamidae does not occur and the codification occurs then the shellfire happens. sent5: if the fact that the holiness does not occur hold then the cryogenicness occurs and the beginning Rhineland happens. sent6: the fact that the fact that the Bahai happens and the anger does not occur is not correct if the cryogenicness happens is not incorrect. sent7: if the cosmopolitanness does not occur the raking LF does not occur. sent8: the blocking lepidomelane happens if the shellfire occurs. sent9: the fact that the Eucharist does not occur but the choking occurs is not correct if the blocking lepidomelane does not occur. sent10: that the raking vernier does not occur and/or the displacement does not occur is not true. sent11: if the raking LF does not occur the holiness does not occur. sent12: if the beginning AFISR happens the fact that the raking vernier but not the displacement happens is wrong. sent13: the raking Artamidae does not occur and the codification happens. sent14: the fact that the Bahainess does not occur is not false if the fact that the Bahainess happens and the anger does not occur is wrong. sent15: the raking backstitch does not occur and the beginning AFISR occurs. sent16: if the raking backstitch does not occur but the beginning AFISR occurs then the choking happens. sent17: the displacement occurs.
sent4 & sent13 -> int1: the shellfire happens.; int1 & sent8 -> int2: the blocking lepidomelane occurs.; void -> assump1: Let's assume that the Eucharist happens.; int2 & assump1 -> int3: both the blocking lepidomelane and the Eucharist happens.; sent16 & sent15 -> int4: the choking happens.;
the fact that not the Eucharist but the choking happens is not true.
$hypothesis$ = not the Eucharist but the choking happens. ; $context$ = sent1: the beginning AFISR happens and the raking backstitch occurs if the Bahai does not occur. sent2: if the shellfire does not occur the blocking lepidomelane does not occur. sent3: the raking Artamidae does not occur. sent4: if the raking Artamidae does not occur and the codification occurs then the shellfire happens. sent5: if the fact that the holiness does not occur hold then the cryogenicness occurs and the beginning Rhineland happens. sent6: the fact that the fact that the Bahai happens and the anger does not occur is not correct if the cryogenicness happens is not incorrect. sent7: if the cosmopolitanness does not occur the raking LF does not occur. sent8: the blocking lepidomelane happens if the shellfire occurs. sent9: the fact that the Eucharist does not occur but the choking occurs is not correct if the blocking lepidomelane does not occur. sent10: that the raking vernier does not occur and/or the displacement does not occur is not true. sent11: if the raking LF does not occur the holiness does not occur. sent12: if the beginning AFISR happens the fact that the raking vernier but not the displacement happens is wrong. sent13: the raking Artamidae does not occur and the codification happens. sent14: the fact that the Bahainess does not occur is not false if the fact that the Bahainess happens and the anger does not occur is wrong. sent15: the raking backstitch does not occur and the beginning AFISR occurs. sent16: if the raking backstitch does not occur but the beginning AFISR occurs then the choking happens. sent17: the displacement occurs. ; $proof$ = 
sent4 & sent13 -> int1: the shellfire happens.; int1 & sent8 -> int2: the blocking lepidomelane occurs.; void -> assump1: Let's assume that the Eucharist happens.; int2 & assump1 -> int3: both the blocking lepidomelane and the Eucharist happens.; sent16 & sent15 -> int4: the choking happens.; __UNKNOWN__