that the arboriculture does not occur is not wrong.
sent1: the marketing occurs and the Yuman occurs. sent2: that the security happens and the indehiscentness happens is triggered by the non-phosphorousness. sent3: both the market and the arboriculture happens if the Yuman does not occur. sent4: the incitation does not occur and the phosphorousness does not occur if that the dunning penuriousness happens hold. sent5: that the hitting does not occur leads to that the Yuman does not occur but the newsness happens. sent6: the hitting happens. sent7: the avalanche occurs if the security happens. sent8: that the newsness and the Yumanness occurs brings about that the arboriculture does not occur. sent9: the newsness occurs and the hit happens. sent10: the fact that the market happens is not false. sent11: that the hitting does not occur but the apologizing occurs is caused by that the avalanche occurs.
sent1 -> int1: the Yumanness happens.; sent9 -> int2: the newsness happens.; int1 & int2 -> int3: the newsness and the Yumanness occurs.; int3 & sent8 -> hypothesis;
the arboriculture happens.
$hypothesis$ = that the arboriculture does not occur is not wrong. ; $context$ = sent1: the marketing occurs and the Yuman occurs. sent2: that the security happens and the indehiscentness happens is triggered by the non-phosphorousness. sent3: both the market and the arboriculture happens if the Yuman does not occur. sent4: the incitation does not occur and the phosphorousness does not occur if that the dunning penuriousness happens hold. sent5: that the hitting does not occur leads to that the Yuman does not occur but the newsness happens. sent6: the hitting happens. sent7: the avalanche occurs if the security happens. sent8: that the newsness and the Yumanness occurs brings about that the arboriculture does not occur. sent9: the newsness occurs and the hit happens. sent10: the fact that the market happens is not false. sent11: that the hitting does not occur but the apologizing occurs is caused by that the avalanche occurs. ; $proof$ = 
sent1 -> int1: the Yumanness happens.; sent9 -> int2: the newsness happens.; int1 & int2 -> int3: the newsness and the Yumanness occurs.; int3 & sent8 -> hypothesis; __PROVED__