the interstitialness does not occur.
sent1: if the farting sandbox does not occur the fact that not the vaticinating but the rolling prosody happens does not hold. sent2: the freckling elephant's-foot does not occur if that both the freckling elephant's-foot and the nonintellectualness happens does not hold. sent3: the fact that both the boating and the payoff occurs is not correct if the raining does not occur. sent4: if that the off-lineness occurs but the interstitialness does not occur is false the oleophobicness happens. sent5: the rolling prosody happens and the vaticinating occurs. sent6: if the rolling prosody does not occur the off-lineness happens and the interstitialness occurs. sent7: the farting sandbox does not occur if that the boating occurs and the payoff occurs is wrong. sent8: if the aphasic does not occur then the fact that the freckling elephant's-foot occurs and the nonintellectualness happens is not correct. sent9: that both the rolling prosody and the vaticinating occurs yields that the off-lineness does not occur. sent10: not the rain but the freckling silly occurs if the freckling elephant's-foot does not occur.
void -> assump1: Let's assume that the interstitialness occurs.; sent9 & sent5 -> int1: the off-lineness does not occur.;
the oleophobicness happens.
$hypothesis$ = the interstitialness does not occur. ; $context$ = sent1: if the farting sandbox does not occur the fact that not the vaticinating but the rolling prosody happens does not hold. sent2: the freckling elephant's-foot does not occur if that both the freckling elephant's-foot and the nonintellectualness happens does not hold. sent3: the fact that both the boating and the payoff occurs is not correct if the raining does not occur. sent4: if that the off-lineness occurs but the interstitialness does not occur is false the oleophobicness happens. sent5: the rolling prosody happens and the vaticinating occurs. sent6: if the rolling prosody does not occur the off-lineness happens and the interstitialness occurs. sent7: the farting sandbox does not occur if that the boating occurs and the payoff occurs is wrong. sent8: if the aphasic does not occur then the fact that the freckling elephant's-foot occurs and the nonintellectualness happens is not correct. sent9: that both the rolling prosody and the vaticinating occurs yields that the off-lineness does not occur. sent10: not the rain but the freckling silly occurs if the freckling elephant's-foot does not occur. ; $proof$ = 
void -> assump1: Let's assume that the interstitialness occurs.; sent9 & sent5 -> int1: the off-lineness does not occur.; __UNKNOWN__