the onshoreness happens.
sent1: the non-backhandedness and the non-tastyness occurs. sent2: the onshoreness occurs if the pallone happens. sent3: that the riffle happens prevents that the pallone does not occur. sent4: if the gag happens the riffle occurs. sent5: the idolatry does not occur and the rendezvousing teth does not occur if the gagging does not occur. sent6: the rope-a-dope does not occur and the whist does not occur. sent7: if the straddling happens then the whist happens. sent8: the pleaching Ancylus happens or the straddling happens or both if the rendezvousing teth does not occur. sent9: the idolatry does not occur.
void -> assump1: Let's assume that the fact that the gag does not occur is not false.; sent5 & assump1 -> int1: the idolatry does not occur and the rendezvousing teth does not occur.; int1 -> int2: the rendezvousing teth does not occur.; int2 & sent8 -> int3: the pleaching Ancylus happens and/or the straddling happens.; sent6 -> int4: the whist does not occur.;
$hypothesis$ = the onshoreness happens. ; $context$ = sent1: the non-backhandedness and the non-tastyness occurs. sent2: the onshoreness occurs if the pallone happens. sent3: that the riffle happens prevents that the pallone does not occur. sent4: if the gag happens the riffle occurs. sent5: the idolatry does not occur and the rendezvousing teth does not occur if the gagging does not occur. sent6: the rope-a-dope does not occur and the whist does not occur. sent7: if the straddling happens then the whist happens. sent8: the pleaching Ancylus happens or the straddling happens or both if the rendezvousing teth does not occur. sent9: the idolatry does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gag does not occur is not false.; sent5 & assump1 -> int1: the idolatry does not occur and the rendezvousing teth does not occur.; int1 -> int2: the rendezvousing teth does not occur.; int2 & sent8 -> int3: the pleaching Ancylus happens and/or the straddling happens.; sent6 -> int4: the whist does not occur.; __UNKNOWN__