if the mousepad is a bellbird the mechanism is not intramural or it does not arrive mechanism or both.
sent1: if either the mousepad is a kind of a bellbird or it does curb matzo or both then it is not blue-collar. sent2: there is nothing such that it is not a sateen and it arrives mechanism. sent3: the mousepad does not arrive mechanism if there exists something such that the fact that it is not a sateen and it does arrive mechanism is not correct. sent4: the fowl is blue-collar. sent5: the mechanism does not curb matzo and/or does not arrive mechanism if the mousepad is not intramural. sent6: the mousepad is blue-collar and/or not non-intramural. sent7: the fact that the mousepad interposes gateway is not incorrect. sent8: the mechanism is intramural and/or it does not arrive mechanism. sent9: the mechanism is not blue-collar and/or arrives mechanism if the fact that the mousepad is intramural hold. sent10: the mousepad is intramural. sent11: the mousepad is blue-collar or not intramural or both if the mechanism is not a bellbird.
void -> assump1: Let's assume that the mousepad is a bellbird.; assump1 -> int1: that either the mousepad is a bellbird or it does curb matzo or both is not incorrect.; sent1 & int1 -> int2: the mousepad is not blue-collar.;
the triclinium is not a kind of a bellbird.
sent2 -> int3: the fact that the mechanism is not a sateen but it arrives mechanism is not correct.; int3 -> int4: there exists something such that that it is not a sateen and it arrives mechanism is not true.; int4 & sent3 -> int5: the mousepad does not arrive mechanism.; int5 -> int6: there exists something such that it does not arrive mechanism.;
$hypothesis$ = if the mousepad is a bellbird the mechanism is not intramural or it does not arrive mechanism or both. ; $context$ = sent1: if either the mousepad is a kind of a bellbird or it does curb matzo or both then it is not blue-collar. sent2: there is nothing such that it is not a sateen and it arrives mechanism. sent3: the mousepad does not arrive mechanism if there exists something such that the fact that it is not a sateen and it does arrive mechanism is not correct. sent4: the fowl is blue-collar. sent5: the mechanism does not curb matzo and/or does not arrive mechanism if the mousepad is not intramural. sent6: the mousepad is blue-collar and/or not non-intramural. sent7: the fact that the mousepad interposes gateway is not incorrect. sent8: the mechanism is intramural and/or it does not arrive mechanism. sent9: the mechanism is not blue-collar and/or arrives mechanism if the fact that the mousepad is intramural hold. sent10: the mousepad is intramural. sent11: the mousepad is blue-collar or not intramural or both if the mechanism is not a bellbird. ; $proof$ = 
void -> assump1: Let's assume that the mousepad is a bellbird.; assump1 -> int1: that either the mousepad is a bellbird or it does curb matzo or both is not incorrect.; sent1 & int1 -> int2: the mousepad is not blue-collar.; __UNKNOWN__