the circus happens.
sent1: the final occurs. sent2: if the fact that the IPO does not occur is true the final happens and the manhandling lash happens. sent3: that the manhandling ecclesiology occurs is caused by the antipyretic. sent4: the antipyretic and the collection occurs. sent5: that the IPO does not occur prevents that the final does not occur. sent6: the IPO does not occur. sent7: either the antipyretic or that the collection happens or both is caused by that the manhandling ecclesiology does not occur. sent8: the adding ranching occurs.
sent4 -> int1: the antipyretic occurs.; int1 & sent3 -> int2: the manhandling ecclesiology occurs.; void -> assump1: Let's assume that that the circus does not occur is true.; int2 & assump1 -> int3: the manhandling ecclesiology but not the circus occurs.; sent2 & sent6 -> int4: the final and the manhandling lash occurs.; int4 -> int5: the manhandling lash happens.;
the biblicalness occurs.
$hypothesis$ = the circus happens. ; $context$ = sent1: the final occurs. sent2: if the fact that the IPO does not occur is true the final happens and the manhandling lash happens. sent3: that the manhandling ecclesiology occurs is caused by the antipyretic. sent4: the antipyretic and the collection occurs. sent5: that the IPO does not occur prevents that the final does not occur. sent6: the IPO does not occur. sent7: either the antipyretic or that the collection happens or both is caused by that the manhandling ecclesiology does not occur. sent8: the adding ranching occurs. ; $proof$ = 
sent4 -> int1: the antipyretic occurs.; int1 & sent3 -> int2: the manhandling ecclesiology occurs.; void -> assump1: Let's assume that that the circus does not occur is true.; int2 & assump1 -> int3: the manhandling ecclesiology but not the circus occurs.; sent2 & sent6 -> int4: the final and the manhandling lash occurs.; int4 -> int5: the manhandling lash happens.; __UNKNOWN__