the tossup is not unreverberant.
sent1: if the cheese is not reverberant then the staple is a encomium and eolithic. sent2: the tossup is not reverberant if the fact that the North does not flick staple and/or it is not eolithic is not correct. sent3: the cheese is not a encomium but it is eolithic. sent4: if the cheese is eolithic then that the North does not flick staple or is not eolithic or both is incorrect. sent5: the North is eolithic if that the cheese is not eolithic does not hold. sent6: the North is eolithic. sent7: the cheese is not reverberant. sent8: if that either the North does not flick staple or it is eolithic or both is not right the tossup is not reverberant.
sent3 -> int1: the cheese is eolithic.; sent4 & int1 -> int2: the fact that the North does not flick staple and/or it is not eolithic is false.; sent2 & int2 -> hypothesis;
the staple is a encomium.
$hypothesis$ = the tossup is not unreverberant. ; $context$ = sent1: if the cheese is not reverberant then the staple is a encomium and eolithic. sent2: the tossup is not reverberant if the fact that the North does not flick staple and/or it is not eolithic is not correct. sent3: the cheese is not a encomium but it is eolithic. sent4: if the cheese is eolithic then that the North does not flick staple or is not eolithic or both is incorrect. sent5: the North is eolithic if that the cheese is not eolithic does not hold. sent6: the North is eolithic. sent7: the cheese is not reverberant. sent8: if that either the North does not flick staple or it is eolithic or both is not right the tossup is not reverberant. ; $proof$ = 
sent3 -> int1: the cheese is eolithic.; sent4 & int1 -> int2: the fact that the North does not flick staple and/or it is not eolithic is false.; sent2 & int2 -> hypothesis; __DISPROVED__