there exists something such that it is not a cigarette.
sent1: something is lexicographic if that it is an approximation is true. sent2: the eburnation is not heavy. sent3: that the fact that the pinchbeck is a kind of non-fewest thing that pegs lodge is not true is not false. sent4: something is not a work-shirt and does not rummage pinchbeck if it does rummage petabit. sent5: the eburnation does not rummage petabit and it is not a Woodhull if the pinchbeck does not rummage petabit. sent6: something does not commit if it is an approximation that is not lexicographic. sent7: the pinchbeck is not lexicographic if it does not commit and does not rummage roentgenogram. sent8: something is a kind of a cigarette. sent9: the pinchbeck is an approximation if the fact that it is not a heavy and it is a Ajuga is not correct. sent10: if the pinchbeck is a heavy it is a kind of an approximation. sent11: something that does not rummage petabit and is not a Woodhull is not a cigarette. sent12: that the pinchbeck is non-heavy but it is a kind of a Ajuga is false if it rummages petabit.
void -> assump1: Let's assume that the fact that the pinchbeck rummages petabit is true.; sent12 & assump1 -> int1: the fact that the pinchbeck is not a heavy but it is a Ajuga is not correct.; int1 & sent9 -> int2: the pinchbeck is a kind of an approximation.; sent1 -> int3: if the pinchbeck is a kind of an approximation it is lexicographic.; int2 & int3 -> int4: the pinchbeck is lexicographic.; sent11 -> int5: if the eburnation does not rummage petabit and is not a Woodhull it is not a cigarette.;
the sheepshead is not a kind of a work-shirt and does not rummage pinchbeck.
sent4 -> int6: if the sheepshead rummages petabit that it is not a work-shirt and it does not rummage pinchbeck is right.;
$hypothesis$ = there exists something such that it is not a cigarette. ; $context$ = sent1: something is lexicographic if that it is an approximation is true. sent2: the eburnation is not heavy. sent3: that the fact that the pinchbeck is a kind of non-fewest thing that pegs lodge is not true is not false. sent4: something is not a work-shirt and does not rummage pinchbeck if it does rummage petabit. sent5: the eburnation does not rummage petabit and it is not a Woodhull if the pinchbeck does not rummage petabit. sent6: something does not commit if it is an approximation that is not lexicographic. sent7: the pinchbeck is not lexicographic if it does not commit and does not rummage roentgenogram. sent8: something is a kind of a cigarette. sent9: the pinchbeck is an approximation if the fact that it is not a heavy and it is a Ajuga is not correct. sent10: if the pinchbeck is a heavy it is a kind of an approximation. sent11: something that does not rummage petabit and is not a Woodhull is not a cigarette. sent12: that the pinchbeck is non-heavy but it is a kind of a Ajuga is false if it rummages petabit. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pinchbeck rummages petabit is true.; sent12 & assump1 -> int1: the fact that the pinchbeck is not a heavy but it is a Ajuga is not correct.; int1 & sent9 -> int2: the pinchbeck is a kind of an approximation.; sent1 -> int3: if the pinchbeck is a kind of an approximation it is lexicographic.; int2 & int3 -> int4: the pinchbeck is lexicographic.; sent11 -> int5: if the eburnation does not rummage petabit and is not a Woodhull it is not a cigarette.; __UNKNOWN__