the staggerer is inflexible.
sent1: the flurazepam is steadying. sent2: something does not smite squeak if it is a alcalde and it does smite air. sent3: something is acroscopic if it is not a b-meson. sent4: that the villus is a kind of acroscopic thing that does not smite squeak is wrong if there exists something such that it is not acroscopic. sent5: if the firebug does not smite air then the staggerer is inflexible. sent6: that the villus is not acroscopic and it does not smite squeak is not correct if there is something such that it is acroscopic. sent7: if the firebug does not smite squeak the villus is not acroscopic and it does not smite squeak. sent8: the firebug is a alcalde if the flurazepam does steady. sent9: the villus is not acroscopic if the firebug does not smite squeak. sent10: the fact that the villus is not acroscopic is not false.
sent8 & sent1 -> int1: the firebug is a alcalde.; void -> assump1: Let's assume that the firebug does smite air.; int1 & assump1 -> int2: the firebug is a alcalde and smites air.; sent2 -> int3: if the firebug is a alcalde and does smite air then it does not smite squeak.; int2 & int3 -> int4: the firebug does not smite squeak.; int4 & sent7 -> int5: the villus is not acroscopic and does not smite squeak.; sent3 -> int6: the lowboy is acroscopic if it is not a kind of a b-meson.;
$hypothesis$ = the staggerer is inflexible. ; $context$ = sent1: the flurazepam is steadying. sent2: something does not smite squeak if it is a alcalde and it does smite air. sent3: something is acroscopic if it is not a b-meson. sent4: that the villus is a kind of acroscopic thing that does not smite squeak is wrong if there exists something such that it is not acroscopic. sent5: if the firebug does not smite air then the staggerer is inflexible. sent6: that the villus is not acroscopic and it does not smite squeak is not correct if there is something such that it is acroscopic. sent7: if the firebug does not smite squeak the villus is not acroscopic and it does not smite squeak. sent8: the firebug is a alcalde if the flurazepam does steady. sent9: the villus is not acroscopic if the firebug does not smite squeak. sent10: the fact that the villus is not acroscopic is not false. ; $proof$ = 
sent8 & sent1 -> int1: the firebug is a alcalde.; void -> assump1: Let's assume that the firebug does smite air.; int1 & assump1 -> int2: the firebug is a alcalde and smites air.; sent2 -> int3: if the firebug is a alcalde and does smite air then it does not smite squeak.; int2 & int3 -> int4: the firebug does not smite squeak.; int4 & sent7 -> int5: the villus is not acroscopic and does not smite squeak.; sent3 -> int6: the lowboy is acroscopic if it is not a kind of a b-meson.; __UNKNOWN__