both the backgammon and the filming occurs.
sent1: the backgammon does not occur but the neocorticalness happens if the ESM does not occur. sent2: the outgeneraling Opisthobranchia occurs. sent3: that the adoxography does not occur is triggered by the giving or that the disjunctness occurs or both. sent4: the venesection occurs. sent5: if the instroke does not occur then the fact that the quickie happens but the outgeneraling corruptibility does not occur is false. sent6: the smokescreen happens. sent7: the fact that the priming happens but the whist does not occur is false if the fact that the giving does not occur is true. sent8: the adoxography results in the non-disjunctness. sent9: if the disjunctness happens then the fact that the adoxography does not occur is true. sent10: that the billowing germanium happens prevents that the outgeneraling hagiography occurs. sent11: that the killing does not occur is triggered by that the smokescreen and/or the give happens. sent12: the smokescreen does not occur if the fact that the prime but not the whist happens is false. sent13: either the mindfulness or the acquainting or both occurs. sent14: if the benignity does not occur not the ESM but the dock occurs. sent15: the billowing Brutus does not occur. sent16: that the primeness occurs and the whist happens does not hold if the giving does not occur. sent17: the backgammon happens. sent18: the sumo does not occur.
void -> assump1: Let's assume that the give does not occur.; sent7 & assump1 -> int1: that the priming occurs but the whist does not occur does not hold.; int1 & sent12 -> int2: the smokescreen does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the giving happens.; int4 -> int5: the giving and/or the disjunctness happens.; int5 & sent3 -> int6: the fact that the adoxography does not occur hold.;
that both the backgammon and the film occurs does not hold.
 -> hypothesis;
$hypothesis$ = both the backgammon and the filming occurs. ; $context$ = sent1: the backgammon does not occur but the neocorticalness happens if the ESM does not occur. sent2: the outgeneraling Opisthobranchia occurs. sent3: that the adoxography does not occur is triggered by the giving or that the disjunctness occurs or both. sent4: the venesection occurs. sent5: if the instroke does not occur then the fact that the quickie happens but the outgeneraling corruptibility does not occur is false. sent6: the smokescreen happens. sent7: the fact that the priming happens but the whist does not occur is false if the fact that the giving does not occur is true. sent8: the adoxography results in the non-disjunctness. sent9: if the disjunctness happens then the fact that the adoxography does not occur is true. sent10: that the billowing germanium happens prevents that the outgeneraling hagiography occurs. sent11: that the killing does not occur is triggered by that the smokescreen and/or the give happens. sent12: the smokescreen does not occur if the fact that the prime but not the whist happens is false. sent13: either the mindfulness or the acquainting or both occurs. sent14: if the benignity does not occur not the ESM but the dock occurs. sent15: the billowing Brutus does not occur. sent16: that the primeness occurs and the whist happens does not hold if the giving does not occur. sent17: the backgammon happens. sent18: the sumo does not occur. ; $proof$ = 
void -> assump1: Let's assume that the give does not occur.; sent7 & assump1 -> int1: that the priming occurs but the whist does not occur does not hold.; int1 & sent12 -> int2: the smokescreen does not occur.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the giving happens.; int4 -> int5: the giving and/or the disjunctness happens.; int5 & sent3 -> int6: the fact that the adoxography does not occur hold.; __UNKNOWN__