that the iceman does not vent booker hold.
sent1: the iceman is unambitious if it is not quiet. sent2: something is not a Adad and is not a lied. sent3: everything is not a Malecite. sent4: if something is not quiet then it is unambitious. sent5: a non-grassy thing is not unambitious and is calcicolous. sent6: the booker is not calcicolous if the iceman is not an affirmative or it is not grassy or both. sent7: if something is quiet it is not unambitious and/or is non-Einsteinian. sent8: something is not quiet if the fact that it is an affirmative or is not grassy or both is not true. sent9: that something is both not unambitious and calcicolous is wrong if it does not lie. sent10: the booker is not quiet if there exists something such that the fact that it is not unambitious but calcicolous is not true. sent11: if something that is not a kind of a Adad does not lie then the booker is calcicolous. sent12: the booker is calcicolous if there is something such that it is both a Adad and not a lied. sent13: if something is not a Malecite that it is a kind of a Adad that lies is false. sent14: the iceman either is a VAT or does not sterilize royalty or both. sent15: if that something is not affirmative and/or is not grassy does not hold the fact that it is not quiet is right. sent16: there exists something such that it is not a Adad and it lies.
void -> assump1: Let's assume that the iceman is non-affirmative and/or is not grassy.; sent6 & assump1 -> int1: the booker is not calcicolous.; sent2 & sent11 -> int2: the booker is calcicolous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the iceman is not a kind of an affirmative and/or it is not grassy does not hold.; sent15 -> int5: that the iceman is not quiet hold if that either it is not a kind of an affirmative or it is not grassy or both is not correct.; int4 & int5 -> int6: the fact that the iceman is not quiet is not wrong.;
that the iceman does vent booker is right.
sent9 -> int7: if the XY does not lie then the fact that it is both not unambitious and not non-calcicolous does not hold.; sent13 -> int8: the fact that the graverobber is a Adad and it does lie is false if it is not a Malecite.; sent3 -> int9: the graverobber is not a Malecite.; int8 & int9 -> int10: the fact that the graverobber is a kind of a Adad and it is a lied does not hold.; int10 -> int11: there exists nothing such that it is a Adad and a lied.; int11 -> int12: the fact that the XY is a Adad and it is a lied is incorrect.;
$hypothesis$ = that the iceman does not vent booker hold. ; $context$ = sent1: the iceman is unambitious if it is not quiet. sent2: something is not a Adad and is not a lied. sent3: everything is not a Malecite. sent4: if something is not quiet then it is unambitious. sent5: a non-grassy thing is not unambitious and is calcicolous. sent6: the booker is not calcicolous if the iceman is not an affirmative or it is not grassy or both. sent7: if something is quiet it is not unambitious and/or is non-Einsteinian. sent8: something is not quiet if the fact that it is an affirmative or is not grassy or both is not true. sent9: that something is both not unambitious and calcicolous is wrong if it does not lie. sent10: the booker is not quiet if there exists something such that the fact that it is not unambitious but calcicolous is not true. sent11: if something that is not a kind of a Adad does not lie then the booker is calcicolous. sent12: the booker is calcicolous if there is something such that it is both a Adad and not a lied. sent13: if something is not a Malecite that it is a kind of a Adad that lies is false. sent14: the iceman either is a VAT or does not sterilize royalty or both. sent15: if that something is not affirmative and/or is not grassy does not hold the fact that it is not quiet is right. sent16: there exists something such that it is not a Adad and it lies. ; $proof$ = 
void -> assump1: Let's assume that the iceman is non-affirmative and/or is not grassy.; sent6 & assump1 -> int1: the booker is not calcicolous.; sent2 & sent11 -> int2: the booker is calcicolous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the iceman is not a kind of an affirmative and/or it is not grassy does not hold.; sent15 -> int5: that the iceman is not quiet hold if that either it is not a kind of an affirmative or it is not grassy or both is not correct.; int4 & int5 -> int6: the fact that the iceman is not quiet is not wrong.; __UNKNOWN__