the revealing trip does not occur.
sent1: if the volatile occurs and the indexicalness happens then the fact that the clocking oxytocin does not occur is right. sent2: that the salving fife does not occur but the revealing trip occurs prevents that the volatile does not occur. sent3: the salving fife does not occur. sent4: the clocking John occurs if the fact that the revealing trip happens and/or the volatile does not occur is incorrect. sent5: the clocking oxytocin happens if the Stinger happens. sent6: the photochemicalness occurs. sent7: the indexicalness happens and the grossness happens if the sedition does not occur. sent8: the grossness occurs. sent9: if the photochemicalness happens then the Stinger happens.
void -> assump1: Let's assume that the revealing trip happens.; sent3 & assump1 -> int1: the salving fife does not occur but the revealing trip occurs.; int1 & sent2 -> int2: the volatileness happens.; sent9 & sent6 -> int3: the Stinger occurs.; sent5 & int3 -> int4: the clocking oxytocin occurs.;
the clocking John happens and the usance occurs.
$hypothesis$ = the revealing trip does not occur. ; $context$ = sent1: if the volatile occurs and the indexicalness happens then the fact that the clocking oxytocin does not occur is right. sent2: that the salving fife does not occur but the revealing trip occurs prevents that the volatile does not occur. sent3: the salving fife does not occur. sent4: the clocking John occurs if the fact that the revealing trip happens and/or the volatile does not occur is incorrect. sent5: the clocking oxytocin happens if the Stinger happens. sent6: the photochemicalness occurs. sent7: the indexicalness happens and the grossness happens if the sedition does not occur. sent8: the grossness occurs. sent9: if the photochemicalness happens then the Stinger happens. ; $proof$ = 
void -> assump1: Let's assume that the revealing trip happens.; sent3 & assump1 -> int1: the salving fife does not occur but the revealing trip occurs.; int1 & sent2 -> int2: the volatileness happens.; sent9 & sent6 -> int3: the Stinger occurs.; sent5 & int3 -> int4: the clocking oxytocin occurs.; __UNKNOWN__