that the Appalachian happens and the gathering graham happens is not correct.
sent1: if the noninvasiveness happens then that the Appalachianness occurs is not false. sent2: the gear does not occur. sent3: the flat does not occur if the gear does not occur. sent4: the play does not occur and the kabbalism does not occur. sent5: the resurrecting happens and the invoking Eskimo occurs. sent6: if that the kabbalism does not occur and the flat does not occur is not false the gathering graham occurs. sent7: that the de-escalation does not occur is not wrong. sent8: the directedness does not occur. sent9: if the fact that the directing occurs hold then the non-deductibleness and the non-Czechness happens. sent10: if the directedness does not occur then the noninvasiveness and the outburst happens.
sent10 & sent8 -> int1: the noninvasiveness and the outburst happens.; int1 -> int2: the fact that the noninvasiveness happens is not wrong.; int2 & sent1 -> int3: the Appalachianness happens.; sent4 -> int4: the kabbalism does not occur.; sent3 & sent2 -> int5: the flatness does not occur.; int4 & int5 -> int6: the kabbalism does not occur and the flat does not occur.; sent6 & int6 -> int7: the gathering graham occurs.; int3 & int7 -> hypothesis;
both the non-deductibleness and the non-Czechness occurs.
$hypothesis$ = that the Appalachian happens and the gathering graham happens is not correct. ; $context$ = sent1: if the noninvasiveness happens then that the Appalachianness occurs is not false. sent2: the gear does not occur. sent3: the flat does not occur if the gear does not occur. sent4: the play does not occur and the kabbalism does not occur. sent5: the resurrecting happens and the invoking Eskimo occurs. sent6: if that the kabbalism does not occur and the flat does not occur is not false the gathering graham occurs. sent7: that the de-escalation does not occur is not wrong. sent8: the directedness does not occur. sent9: if the fact that the directing occurs hold then the non-deductibleness and the non-Czechness happens. sent10: if the directedness does not occur then the noninvasiveness and the outburst happens. ; $proof$ = 
sent10 & sent8 -> int1: the noninvasiveness and the outburst happens.; int1 -> int2: the fact that the noninvasiveness happens is not wrong.; int2 & sent1 -> int3: the Appalachianness happens.; sent4 -> int4: the kabbalism does not occur.; sent3 & sent2 -> int5: the flatness does not occur.; int4 & int5 -> int6: the kabbalism does not occur and the flat does not occur.; sent6 & int6 -> int7: the gathering graham occurs.; int3 & int7 -> hypothesis; __DISPROVED__