the staling handbarrow does not occur.
sent1: the fact that that the non-Arameanness and/or the non-majorness occurs is false hold if the foolishness occurs. sent2: if the Aramean happens that the batting does not occur and/or the airflow does not occur is false. sent3: if that the Aramean does not occur and/or the majorness does not occur is not true the sacking does not occur. sent4: that the staling handbarrow does not occur is triggered by the Aramean. sent5: the sacking happens. sent6: if the fact that the diffidentness does not occur but the lineation happens is not true then the foolishness occurs. sent7: the staling handbarrow happens if the canonistness does not occur. sent8: that the diffidentness does not occur leads to that the canonist does not occur.
void -> assump1: Let's assume that the fact that not the diffidentness but the lineation happens is not true.; sent6 & assump1 -> int1: the foolishness occurs.; int1 & sent1 -> int2: that the non-Arameanness and/or the non-majorness occurs is incorrect.; int2 & sent3 -> int3: the sacking does not occur.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: both the non-diffidentness and the lineation happens.; int5 -> int6: the diffidentness does not occur.; int6 & sent8 -> int7: the canonistness does not occur.; int7 & sent7 -> hypothesis;
the fact that the batting does not occur and/or the airflow does not occur is not correct.
$hypothesis$ = the staling handbarrow does not occur. ; $context$ = sent1: the fact that that the non-Arameanness and/or the non-majorness occurs is false hold if the foolishness occurs. sent2: if the Aramean happens that the batting does not occur and/or the airflow does not occur is false. sent3: if that the Aramean does not occur and/or the majorness does not occur is not true the sacking does not occur. sent4: that the staling handbarrow does not occur is triggered by the Aramean. sent5: the sacking happens. sent6: if the fact that the diffidentness does not occur but the lineation happens is not true then the foolishness occurs. sent7: the staling handbarrow happens if the canonistness does not occur. sent8: that the diffidentness does not occur leads to that the canonist does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the diffidentness but the lineation happens is not true.; sent6 & assump1 -> int1: the foolishness occurs.; int1 & sent1 -> int2: that the non-Arameanness and/or the non-majorness occurs is incorrect.; int2 & sent3 -> int3: the sacking does not occur.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: both the non-diffidentness and the lineation happens.; int5 -> int6: the diffidentness does not occur.; int6 & sent8 -> int7: the canonistness does not occur.; int7 & sent7 -> hypothesis; __DISPROVED__