the rejection is axonal.
sent1: something is axonal. sent2: if the fact that the bassist is a kind of a Europan and it does chain-smoke is incorrect then the rejection is not axonal. sent3: something is round. sent4: if something is a round then the fact that the bassist is a kind of a Europan that chain-smokes is not correct. sent5: if there are axonal things the fact that the rejection does chain-smoke and it is a Europan is incorrect. sent6: the rejection is not a kind of a Europan. sent7: the rejection does not chain-smoke if the fact that the bassist is a Europan but not non-axonal does not hold. sent8: the fact that something is not a Europan but it is a kind of a round is not true if it is non-axonal. sent9: the stair-rod does not chain-smoke. sent10: the fact that that the bassist braids Scutigera and does mismatch hold does not hold.
sent3 & sent4 -> int1: the fact that the bassist is a kind of a Europan and it chain-smokes is not true.; sent2 & int1 -> hypothesis;
the rejection does not chain-smoke.
sent8 -> int2: that the bassist is not a kind of a Europan but it rounds is wrong if that it is not axonal is right.;
$hypothesis$ = the rejection is axonal. ; $context$ = sent1: something is axonal. sent2: if the fact that the bassist is a kind of a Europan and it does chain-smoke is incorrect then the rejection is not axonal. sent3: something is round. sent4: if something is a round then the fact that the bassist is a kind of a Europan that chain-smokes is not correct. sent5: if there are axonal things the fact that the rejection does chain-smoke and it is a Europan is incorrect. sent6: the rejection is not a kind of a Europan. sent7: the rejection does not chain-smoke if the fact that the bassist is a Europan but not non-axonal does not hold. sent8: the fact that something is not a Europan but it is a kind of a round is not true if it is non-axonal. sent9: the stair-rod does not chain-smoke. sent10: the fact that that the bassist braids Scutigera and does mismatch hold does not hold. ; $proof$ = 
sent3 & sent4 -> int1: the fact that the bassist is a kind of a Europan and it chain-smokes is not true.; sent2 & int1 -> hypothesis; __DISPROVED__