the basidiolichen does not interfere.
sent1: the Vinylite does not interfere. sent2: the fact that the Vinylite is a Lupus if the basidiolichen interferes is correct. sent3: the steward is not a kind of a springer. sent4: the Vinylite is not a springer. sent5: the basidiolichen is not a Lupus if the fact that it is a kind of a twist and does not pattern bigoted does not hold. sent6: the Vinylite is not a kind of a Rostock. sent7: the basidiolichen is a Lupus. sent8: that the Vinylite is a kind of a miserliness hold. sent9: the basidiolichen is not algal and is not a colophon. sent10: the basidiolichen is not amnestic and it does not pattern manipulator. sent11: the basidiolichen is a springer if the Vinylite is a Lupus. sent12: the basidiolichen is not a serviceman. sent13: the jail is not a kind of a springer. sent14: the fact that the Vinylite does not interfere and it is not a springer hold. sent15: the khakis is not a kind of a springer. sent16: if the Vinylite interferes the basidiolichen is a kind of a springer. sent17: the fact that something is not a springer is true if the fact that it is a Lupus that does interfere is incorrect.
void -> assump1: Let's assume that the basidiolichen does interfere.; sent2 & assump1 -> int1: the Vinylite is a Lupus.;
the honeysuckle is not a springer.
sent17 -> int2: if that the honeysuckle is a Lupus and it does interfere is wrong it is not a springer.;
$hypothesis$ = the basidiolichen does not interfere. ; $context$ = sent1: the Vinylite does not interfere. sent2: the fact that the Vinylite is a Lupus if the basidiolichen interferes is correct. sent3: the steward is not a kind of a springer. sent4: the Vinylite is not a springer. sent5: the basidiolichen is not a Lupus if the fact that it is a kind of a twist and does not pattern bigoted does not hold. sent6: the Vinylite is not a kind of a Rostock. sent7: the basidiolichen is a Lupus. sent8: that the Vinylite is a kind of a miserliness hold. sent9: the basidiolichen is not algal and is not a colophon. sent10: the basidiolichen is not amnestic and it does not pattern manipulator. sent11: the basidiolichen is a springer if the Vinylite is a Lupus. sent12: the basidiolichen is not a serviceman. sent13: the jail is not a kind of a springer. sent14: the fact that the Vinylite does not interfere and it is not a springer hold. sent15: the khakis is not a kind of a springer. sent16: if the Vinylite interferes the basidiolichen is a kind of a springer. sent17: the fact that something is not a springer is true if the fact that it is a Lupus that does interfere is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the basidiolichen does interfere.; sent2 & assump1 -> int1: the Vinylite is a Lupus.; __UNKNOWN__