that the abelia is not a beggarman but autoplastic does not hold.
sent1: if the steward is not a beggarman the fact that the abelia is a beggarman and it is autoplastic is wrong. sent2: if the janissary does distinguish abelia or does not wire aftershaft or both it is not meretricious. sent3: the janissary does wire aftershaft. sent4: the janissary is meretricious and it is heterodactyl. sent5: if the steward is not a beggarman then the fact that the abelia is not a beggarman and is autoplastic is not right. sent6: the steward is not a beggarman if the fact that the janissary does distinguish abelia or wires aftershaft or both does not hold. sent7: that the abelia is a beggarman and it is autoplastic is not correct. sent8: the janissary is heterodactyl. sent9: the janissary does distinguish abelia and/or it does wire aftershaft.
void -> assump1: Let's assume that the janissary distinguishes abelia or it does not wire aftershaft or both.; sent2 & assump1 -> int1: the janissary is not meretricious.; sent4 -> int2: the janissary is meretricious.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the janissary distinguishes abelia or it does not wire aftershaft or both is false.;
$hypothesis$ = that the abelia is not a beggarman but autoplastic does not hold. ; $context$ = sent1: if the steward is not a beggarman the fact that the abelia is a beggarman and it is autoplastic is wrong. sent2: if the janissary does distinguish abelia or does not wire aftershaft or both it is not meretricious. sent3: the janissary does wire aftershaft. sent4: the janissary is meretricious and it is heterodactyl. sent5: if the steward is not a beggarman then the fact that the abelia is not a beggarman and is autoplastic is not right. sent6: the steward is not a beggarman if the fact that the janissary does distinguish abelia or wires aftershaft or both does not hold. sent7: that the abelia is a beggarman and it is autoplastic is not correct. sent8: the janissary is heterodactyl. sent9: the janissary does distinguish abelia and/or it does wire aftershaft. ; $proof$ = 
void -> assump1: Let's assume that the janissary distinguishes abelia or it does not wire aftershaft or both.; sent2 & assump1 -> int1: the janissary is not meretricious.; sent4 -> int2: the janissary is meretricious.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the janissary distinguishes abelia or it does not wire aftershaft or both is false.; __UNKNOWN__