the filovirus is not a mushroom.
sent1: the filovirus does crochet detail. sent2: if something is not static then it is a Tragelaphus. sent3: something is not a mushroom if it macrames. sent4: the hatchel sequences hatchel. sent5: if something is a kind of a static then the fact that it is a kind of a macrame is right. sent6: the coonskin sequences post-horse. sent7: if something does not sequence hypermotility then it reunifies markup. sent8: the coonskin is a Tragelaphus. sent9: if something is a Shavian then it does reunify affinity. sent10: the filovirus is not a dulciana. sent11: the coonskin is a macrame. sent12: if something is not astomatous then it is a benefaction. sent13: something that is a dulciana sequences hatchel. sent14: if the filovirus is a Tragelaphus the fact that the coonskin does not sequence hatchel is not wrong.
sent2 -> int1: the filovirus is a kind of a Tragelaphus if it is not a static.; void -> assump1: Let's assume that the filovirus is not a static.; int1 & assump1 -> int2: the filovirus is a Tragelaphus.; int2 & sent14 -> int3: the coonskin does not sequence hatchel.; sent13 -> int4: the coonskin sequences hatchel if it is a kind of a dulciana.; sent5 -> int5: that the filovirus is the macrame if that the filovirus is static hold is not incorrect.; sent3 -> int6: if the filovirus macrames it is not a mushroom.;
$hypothesis$ = the filovirus is not a mushroom. ; $context$ = sent1: the filovirus does crochet detail. sent2: if something is not static then it is a Tragelaphus. sent3: something is not a mushroom if it macrames. sent4: the hatchel sequences hatchel. sent5: if something is a kind of a static then the fact that it is a kind of a macrame is right. sent6: the coonskin sequences post-horse. sent7: if something does not sequence hypermotility then it reunifies markup. sent8: the coonskin is a Tragelaphus. sent9: if something is a Shavian then it does reunify affinity. sent10: the filovirus is not a dulciana. sent11: the coonskin is a macrame. sent12: if something is not astomatous then it is a benefaction. sent13: something that is a dulciana sequences hatchel. sent14: if the filovirus is a Tragelaphus the fact that the coonskin does not sequence hatchel is not wrong. ; $proof$ = 
sent2 -> int1: the filovirus is a kind of a Tragelaphus if it is not a static.; void -> assump1: Let's assume that the filovirus is not a static.; int1 & assump1 -> int2: the filovirus is a Tragelaphus.; int2 & sent14 -> int3: the coonskin does not sequence hatchel.; sent13 -> int4: the coonskin sequences hatchel if it is a kind of a dulciana.; sent5 -> int5: that the filovirus is the macrame if that the filovirus is static hold is not incorrect.; sent3 -> int6: if the filovirus macrames it is not a mushroom.; __UNKNOWN__