the damper is not a Lubumbashi.
sent1: if the fitment does not girdle reactivity that the Minuteman does not scuff stud and is not exteroceptive does not hold. sent2: the Rastafarian is awkward. sent3: if the fact that the Minuteman does not scuff stud and is not exteroceptive does not hold then that the SACEUR is exteroceptive hold. sent4: if the SACEUR is a kind of awkward thing that does not girdle SACEUR the exerciser is not playable. sent5: the exerciser is not non-awkward. sent6: the exerciser is a Lubumbashi and awkward. sent7: the damper educates. sent8: there exists something such that that it does not girdle SACEUR and is not exteroceptive is false. sent9: if there exists something such that the fact that it does not girdle SACEUR and is not exteroceptive is wrong the exerciser does girdle SACEUR. sent10: if there is something such that it is exteroceptive then the fact that the exerciser does girdle SACEUR is right. sent11: the damper is non-exteroceptive. sent12: that something is awkward and does not girdle SACEUR hold if it is exteroceptive. sent13: the exerciser is playable and it is awkward. sent14: there is something such that it does not girdle SACEUR and it is not exteroceptive. sent15: something that is not playable is a hermitage and a processional. sent16: there exists something such that the fact that it is non-awkward and it is playable is wrong. sent17: if there exists something such that the fact that it is not awkward and it is not a meadowgrass is false then the damper is awkward.
sent13 -> int1: the exerciser is not unplayable.; sent8 & sent9 -> int2: the exerciser girdles SACEUR.; int1 & int2 -> int3: the exerciser is playable and it girdles SACEUR.;
the damper is a kind of a Lubumbashi.
sent12 -> int4: the SACEUR is a kind of awkward thing that does not girdle SACEUR if it is exteroceptive.;
$hypothesis$ = the damper is not a Lubumbashi. ; $context$ = sent1: if the fitment does not girdle reactivity that the Minuteman does not scuff stud and is not exteroceptive does not hold. sent2: the Rastafarian is awkward. sent3: if the fact that the Minuteman does not scuff stud and is not exteroceptive does not hold then that the SACEUR is exteroceptive hold. sent4: if the SACEUR is a kind of awkward thing that does not girdle SACEUR the exerciser is not playable. sent5: the exerciser is not non-awkward. sent6: the exerciser is a Lubumbashi and awkward. sent7: the damper educates. sent8: there exists something such that that it does not girdle SACEUR and is not exteroceptive is false. sent9: if there exists something such that the fact that it does not girdle SACEUR and is not exteroceptive is wrong the exerciser does girdle SACEUR. sent10: if there is something such that it is exteroceptive then the fact that the exerciser does girdle SACEUR is right. sent11: the damper is non-exteroceptive. sent12: that something is awkward and does not girdle SACEUR hold if it is exteroceptive. sent13: the exerciser is playable and it is awkward. sent14: there is something such that it does not girdle SACEUR and it is not exteroceptive. sent15: something that is not playable is a hermitage and a processional. sent16: there exists something such that the fact that it is non-awkward and it is playable is wrong. sent17: if there exists something such that the fact that it is not awkward and it is not a meadowgrass is false then the damper is awkward. ; $proof$ = 
sent13 -> int1: the exerciser is not unplayable.; sent8 & sent9 -> int2: the exerciser girdles SACEUR.; int1 & int2 -> int3: the exerciser is playable and it girdles SACEUR.; __UNKNOWN__