the mayhem occurs and the Aether does not occur.
sent1: if that the intervention does not occur and the scrabbling happens is incorrect the scrabbling does not occur. sent2: the arboricalness happens if the fact that the piezoelectricity occurs is right. sent3: the fluctuating and/or the summit occurs. sent4: that the mayhem occurs and the Aether does not occur is incorrect if the arboricalness happens. sent5: if the invoking canon does not occur the mayhem occurs but the Aether does not occur. sent6: the non-arboricalness is prevented by that the invoking canon happens. sent7: that the beautifulness and the guessing shoetree occurs is triggered by that the scrabbling does not occur. sent8: if the arboricalness does not occur then the fact that the piezoelectricity occurs and the invoking canon occurs is not correct. sent9: if the beautifulness occurs not the sack but the gathering rummage occurs. sent10: either the invoking canon or the piezoelectricity or both occurs. sent11: if that the invoking Jute does not occur and the reprisal does not occur is false the arboricalness does not occur. sent12: if the sacking does not occur then the fact that the invoking Jute does not occur and the reprisal does not occur is not right. sent13: the fact that the mayhem occurs and the Aether happens is false.
sent10 & sent6 & sent2 -> int1: the arboricalness occurs.; sent4 & int1 -> hypothesis;
the mayhem happens but the Aether does not occur.
$hypothesis$ = the mayhem occurs and the Aether does not occur. ; $context$ = sent1: if that the intervention does not occur and the scrabbling happens is incorrect the scrabbling does not occur. sent2: the arboricalness happens if the fact that the piezoelectricity occurs is right. sent3: the fluctuating and/or the summit occurs. sent4: that the mayhem occurs and the Aether does not occur is incorrect if the arboricalness happens. sent5: if the invoking canon does not occur the mayhem occurs but the Aether does not occur. sent6: the non-arboricalness is prevented by that the invoking canon happens. sent7: that the beautifulness and the guessing shoetree occurs is triggered by that the scrabbling does not occur. sent8: if the arboricalness does not occur then the fact that the piezoelectricity occurs and the invoking canon occurs is not correct. sent9: if the beautifulness occurs not the sack but the gathering rummage occurs. sent10: either the invoking canon or the piezoelectricity or both occurs. sent11: if that the invoking Jute does not occur and the reprisal does not occur is false the arboricalness does not occur. sent12: if the sacking does not occur then the fact that the invoking Jute does not occur and the reprisal does not occur is not right. sent13: the fact that the mayhem occurs and the Aether happens is false. ; $proof$ = 
sent10 & sent6 & sent2 -> int1: the arboricalness occurs.; sent4 & int1 -> hypothesis; __DISPROVED__