the facial is not non-outdoors if the stirk is a chimera.
sent1: something is outdoors if it is not a Eucinostomus. sent2: the bobby does not clamor scorched and it does not imagine if the facial is a kind of a Eucinostomus. sent3: that something does not announce spandex and/or it is a Winchester does not hold if that it is a ketch is true. sent4: the facial is a chimera if the stirk does not announce spandex and is non-outdoors. sent5: the stirk imagines if the bobby does not clamor scorched and is a Winchester. sent6: the stirk is a kind of a Winchester if it does not clamor scorched. sent7: the facial does imagine. sent8: the bobby announces spandex if the stirk is not a Winchester and it does not clamor scorched. sent9: if the stirk is not a ketch and does not clamor scorched the bobby imagines. sent10: if the stirk is a Eucinostomus then that the facial is a ketch hold. sent11: the facial is not a carriageway and is not a kind of a Alcedinidae. sent12: if that something does not announce spandex and/or is a Winchester is not true it is not a chimera. sent13: if the stirk is outdoors the facial is both not a ketch and not a chimera. sent14: that the hindquarters does not announce spandex hold.
void -> assump1: Let's assume that the facial is a Eucinostomus.; sent2 & assump1 -> int1: the bobby does not clamor scorched and does not imagine.; sent3 -> int2: if the stirk is a kind of a ketch then the fact that it either does not announce spandex or is a kind of a Winchester or both is not correct.; sent12 -> int3: the stirk is not a kind of a chimera if the fact that it does not announce spandex or is a Winchester or both is not correct.; void -> assump2: Let's assume that the stirk is a chimera.; sent1 -> int4: the facial is outdoors if it is not a Eucinostomus.;
$hypothesis$ = the facial is not non-outdoors if the stirk is a chimera. ; $context$ = sent1: something is outdoors if it is not a Eucinostomus. sent2: the bobby does not clamor scorched and it does not imagine if the facial is a kind of a Eucinostomus. sent3: that something does not announce spandex and/or it is a Winchester does not hold if that it is a ketch is true. sent4: the facial is a chimera if the stirk does not announce spandex and is non-outdoors. sent5: the stirk imagines if the bobby does not clamor scorched and is a Winchester. sent6: the stirk is a kind of a Winchester if it does not clamor scorched. sent7: the facial does imagine. sent8: the bobby announces spandex if the stirk is not a Winchester and it does not clamor scorched. sent9: if the stirk is not a ketch and does not clamor scorched the bobby imagines. sent10: if the stirk is a Eucinostomus then that the facial is a ketch hold. sent11: the facial is not a carriageway and is not a kind of a Alcedinidae. sent12: if that something does not announce spandex and/or is a Winchester is not true it is not a chimera. sent13: if the stirk is outdoors the facial is both not a ketch and not a chimera. sent14: that the hindquarters does not announce spandex hold. ; $proof$ = 
void -> assump1: Let's assume that the facial is a Eucinostomus.; sent2 & assump1 -> int1: the bobby does not clamor scorched and does not imagine.; sent3 -> int2: if the stirk is a kind of a ketch then the fact that it either does not announce spandex or is a kind of a Winchester or both is not correct.; sent12 -> int3: the stirk is not a kind of a chimera if the fact that it does not announce spandex or is a Winchester or both is not correct.; void -> assump2: Let's assume that the stirk is a chimera.; sent1 -> int4: the facial is outdoors if it is not a Eucinostomus.; __UNKNOWN__