the acanthocephalan is a kind of a Fiedler.
sent1: the hydra does ding acanthocephalan. sent2: the acanthocephalan is multilateral. sent3: everything does not impart grating. sent4: the hydra is not hatless if it does not impart grating and does not ding Tucker. sent5: The acanthocephalan does ding hydra. sent6: the acanthocephalan is a kind of a Fiedler if it is not non-eastern. sent7: if something that does not predict is not a kind of an exhortation it is not unicellular. sent8: something is hatless if it is a Barbadian. sent9: there is something such that the fact that it dings Tucker hold. sent10: there is something such that it dings acanthocephalan. sent11: the hydra is hatless. sent12: the hardtack does impart grating and does ding Tucker if the chinquapin is not hatless.
sent3 -> int1: the hydra does not impart grating.; void -> assump1: Let's assume that the hydra does not ding Tucker.; int1 & assump1 -> int2: the hydra does not impart grating and it does not ding Tucker.; int2 & sent4 -> int3: the hydra is not hatless.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hydra dings Tucker.; int5 & sent1 -> int6: the hydra does ding Tucker and it does ding acanthocephalan.; int6 -> int7: there is something such that it does ding Tucker and does ding acanthocephalan.;
the acanthocephalan is not a Fiedler.
$hypothesis$ = the acanthocephalan is a kind of a Fiedler. ; $context$ = sent1: the hydra does ding acanthocephalan. sent2: the acanthocephalan is multilateral. sent3: everything does not impart grating. sent4: the hydra is not hatless if it does not impart grating and does not ding Tucker. sent5: The acanthocephalan does ding hydra. sent6: the acanthocephalan is a kind of a Fiedler if it is not non-eastern. sent7: if something that does not predict is not a kind of an exhortation it is not unicellular. sent8: something is hatless if it is a Barbadian. sent9: there is something such that the fact that it dings Tucker hold. sent10: there is something such that it dings acanthocephalan. sent11: the hydra is hatless. sent12: the hardtack does impart grating and does ding Tucker if the chinquapin is not hatless. ; $proof$ = 
sent3 -> int1: the hydra does not impart grating.; void -> assump1: Let's assume that the hydra does not ding Tucker.; int1 & assump1 -> int2: the hydra does not impart grating and it does not ding Tucker.; int2 & sent4 -> int3: the hydra is not hatless.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hydra dings Tucker.; int5 & sent1 -> int6: the hydra does ding Tucker and it does ding acanthocephalan.; int6 -> int7: there is something such that it does ding Tucker and does ding acanthocephalan.; __UNKNOWN__