that the wrongness happens is prevented by that the gnawing does not occur.
sent1: the ritual happens if the fact that the gnawing does not occur and the ritual does not occur is false. sent2: if the objectification happens the hydrophilicness occurs. sent3: the cycling occurs if the FIFO happens. sent4: if the gnawing happens then the fact that the wrong happens is wrong. sent5: if the purpling infernal does not occur the FIFO does not occur. sent6: if the hydrophilicness occurs then either the purpling infernal does not occur or the unobtrusiveness does not occur or both. sent7: that the wronging happens is prevented by that the respecting disinvestment does not occur. sent8: the purpling infernal occurs. sent9: the objectification happens and/or the devotion does not occur. sent10: that the dribble does not occur is prevented by that the gnawing does not occur. sent11: if that the dribbling does not occur is right that the fact that the gnawing does not occur and the ritual does not occur is not true is right. sent12: that the unobtrusiveness does not occur is correct. sent13: if the unobtrusiveness does not occur then the FIFO happens and the purpling infernal occurs.
void -> assump2: Let's assume that that the gnawing does not occur is correct.; sent10 & assump2 -> int1: the dribble occurs.; void -> assump1: Let's assume that the respecting disinvestment occurs.; int1 & assump1 -> int2: the dribbling occurs and the respecting disinvestment occurs.; sent13 & sent12 -> int3: the FIFO and the purpling infernal occurs.; int3 -> int4: the FIFO happens.; sent3 & int4 -> int5: the cycling happens.;
the ritual happens and the daubing happens.
$hypothesis$ = that the wrongness happens is prevented by that the gnawing does not occur. ; $context$ = sent1: the ritual happens if the fact that the gnawing does not occur and the ritual does not occur is false. sent2: if the objectification happens the hydrophilicness occurs. sent3: the cycling occurs if the FIFO happens. sent4: if the gnawing happens then the fact that the wrong happens is wrong. sent5: if the purpling infernal does not occur the FIFO does not occur. sent6: if the hydrophilicness occurs then either the purpling infernal does not occur or the unobtrusiveness does not occur or both. sent7: that the wronging happens is prevented by that the respecting disinvestment does not occur. sent8: the purpling infernal occurs. sent9: the objectification happens and/or the devotion does not occur. sent10: that the dribble does not occur is prevented by that the gnawing does not occur. sent11: if that the dribbling does not occur is right that the fact that the gnawing does not occur and the ritual does not occur is not true is right. sent12: that the unobtrusiveness does not occur is correct. sent13: if the unobtrusiveness does not occur then the FIFO happens and the purpling infernal occurs. ; $proof$ = 
void -> assump2: Let's assume that that the gnawing does not occur is correct.; sent10 & assump2 -> int1: the dribble occurs.; void -> assump1: Let's assume that the respecting disinvestment occurs.; int1 & assump1 -> int2: the dribbling occurs and the respecting disinvestment occurs.; sent13 & sent12 -> int3: the FIFO and the purpling infernal occurs.; int3 -> int4: the FIFO happens.; sent3 & int4 -> int5: the cycling happens.; __UNKNOWN__