that if the spending headspace occurs the testimonialness but not the assuming oenomel happens is wrong.
sent1: the dissenting does not occur. sent2: the fielding does not occur. sent3: the avocation happens. sent4: if the whipping occurs then the slating occurs. sent5: the fact that the spending headspace does not occur hold if both the assuming oenomel and the slating happens. sent6: both the accessionalness and the non-agroundness occurs if the place happens. sent7: if the hopefulness does not occur that the affiliation does not occur hold. sent8: the whipping and the trading occurs. sent9: the testimonialness happens but the assuming applecart does not occur if that the fielding does not occur is true.
sent8 -> int1: the whipping happens.; int1 & sent4 -> int2: the slating happens.; void -> assump2: Let's assume that the assuming oenomel happens.; int2 & assump2 -> int3: the assuming oenomel happens and the slating happens.; int3 & sent5 -> int4: the spending headspace does not occur.; void -> assump1: Let's assume that the spending headspace occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the assuming oenomel occurs is not true.; sent9 & sent2 -> int7: the testimonialness but not the assuming applecart occurs.; int7 -> int8: the fact that the testimonialness happens hold.; int6 & int8 -> int9: the testimonialness but not the assuming oenomel occurs.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that if the spending headspace occurs the testimonialness but not the assuming oenomel happens is wrong. ; $context$ = sent1: the dissenting does not occur. sent2: the fielding does not occur. sent3: the avocation happens. sent4: if the whipping occurs then the slating occurs. sent5: the fact that the spending headspace does not occur hold if both the assuming oenomel and the slating happens. sent6: both the accessionalness and the non-agroundness occurs if the place happens. sent7: if the hopefulness does not occur that the affiliation does not occur hold. sent8: the whipping and the trading occurs. sent9: the testimonialness happens but the assuming applecart does not occur if that the fielding does not occur is true. ; $proof$ = 
sent8 -> int1: the whipping happens.; int1 & sent4 -> int2: the slating happens.; void -> assump2: Let's assume that the assuming oenomel happens.; int2 & assump2 -> int3: the assuming oenomel happens and the slating happens.; int3 & sent5 -> int4: the spending headspace does not occur.; void -> assump1: Let's assume that the spending headspace occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the assuming oenomel occurs is not true.; sent9 & sent2 -> int7: the testimonialness but not the assuming applecart occurs.; int7 -> int8: the fact that the testimonialness happens hold.; int6 & int8 -> int9: the testimonialness but not the assuming oenomel occurs.; [assump1] & int9 -> hypothesis; __DISPROVED__