the skateboarding does not occur.
sent1: if the fact that the vinaceousness and the non-bureaucraticness occurs is not right the skateboard does not occur. sent2: the gluttony happens if the allogamy occurs. sent3: the holdout and the cannon occurs. sent4: if the cannoning happens then the allogamy happens. sent5: the fact that the Assumption happens and the overrefining wold occurs does not hold if the indicating occurs.
sent3 -> int1: the cannoning occurs.; sent4 & int1 -> int2: the allogamy occurs.; sent2 & int2 -> int3: the gluttony occurs.;
$hypothesis$ = the skateboarding does not occur. ; $context$ = sent1: if the fact that the vinaceousness and the non-bureaucraticness occurs is not right the skateboard does not occur. sent2: the gluttony happens if the allogamy occurs. sent3: the holdout and the cannon occurs. sent4: if the cannoning happens then the allogamy happens. sent5: the fact that the Assumption happens and the overrefining wold occurs does not hold if the indicating occurs. ; $proof$ = 
sent3 -> int1: the cannoning occurs.; sent4 & int1 -> int2: the allogamy occurs.; sent2 & int2 -> int3: the gluttony occurs.; __UNKNOWN__