that the thiabendazole is a federation but it is not a lymphocyte is wrong.
sent1: that the thiabendazole is a federation and is not a lymphocyte is not true if it is non-argentous. sent2: if the daystar is argentous the thiabendazole does denationalize appropriator. sent3: if the daystar is a brachiopod then the thiabendazole is penile. sent4: if the thiabendazole is not argentous then that it is a federation and it is a lymphocyte is wrong. sent5: if the thiabendazole is penile or it is a MIT or both then it is not argentous. sent6: something is a federation and is not a kind of a lymphocyte if it is a kind of a brachiopod. sent7: the thiabendazole is penile if the daystar does denationalize appropriator. sent8: either the daystar is brachiopod or it denationalizes appropriator or both.
sent8 & sent3 & sent7 -> int1: the thiabendazole is penile.; int1 -> int2: the thiabendazole is penile and/or is a MIT.; int2 & sent5 -> int3: the thiabendazole is not argentous.; int3 & sent1 -> hypothesis;
the thiabendazole is a federation and is not a kind of a lymphocyte.
sent6 -> int4: the thiabendazole is a federation but it is not a lymphocyte if the fact that it is a brachiopod is true.;
$hypothesis$ = that the thiabendazole is a federation but it is not a lymphocyte is wrong. ; $context$ = sent1: that the thiabendazole is a federation and is not a lymphocyte is not true if it is non-argentous. sent2: if the daystar is argentous the thiabendazole does denationalize appropriator. sent3: if the daystar is a brachiopod then the thiabendazole is penile. sent4: if the thiabendazole is not argentous then that it is a federation and it is a lymphocyte is wrong. sent5: if the thiabendazole is penile or it is a MIT or both then it is not argentous. sent6: something is a federation and is not a kind of a lymphocyte if it is a kind of a brachiopod. sent7: the thiabendazole is penile if the daystar does denationalize appropriator. sent8: either the daystar is brachiopod or it denationalizes appropriator or both. ; $proof$ = 
sent8 & sent3 & sent7 -> int1: the thiabendazole is penile.; int1 -> int2: the thiabendazole is penile and/or is a MIT.; int2 & sent5 -> int3: the thiabendazole is not argentous.; int3 & sent1 -> hypothesis; __PROVED__