the fact that the lever is alabaster is true.
sent1: the fact that the fact that that the Hebraist is not a kind of the Hutu but it does stave osteopathy is incorrect hold if the Hebraist is not a kind of a Weizenbier hold. sent2: that the yataghan is not lymphocytic hold. sent3: there is nothing that is both not an affirmative and lymphocytic. sent4: that the down does not impinge down and is indecorous is not true. sent5: the fact that the fact that the gauntlet is lymphocytic and it is a kind of a almandine is not incorrect is wrong if it is not a surprising. sent6: that something does stave osteopathy and solarizes does not hold if it does not requite adaptability. sent7: if something is not a ship-breaker then that it is not billiards and it weakens does not hold. sent8: something is not a ship-breaker if that it does stave grunt and is a Brother is false. sent9: if something is affirmative then it is a kind of an alabaster. sent10: if something does weaken the yataghan is an affirmative. sent11: if the cosigner does not weaken the fact that the lever is both not billiards and not a ship-breaker does not hold. sent12: the fact that the yataghan does stave grunt and is a kind of a Brother is wrong if that it is not lymphocytic hold.
sent8 -> int1: the fact that if that the fact that the yataghan does stave grunt and it is the Brother does not hold hold then that the yataghan is not a ship-breaker hold is not false.; sent12 & sent2 -> int2: that the yataghan does stave grunt and is a Brother is wrong.; int1 & int2 -> int3: the yataghan is not a ship-breaker.; sent7 -> int4: the fact that the yataghan is not billiards but it does weaken is not right if it is not a kind of a ship-breaker.; int3 & int4 -> int5: that the yataghan is not billiards and does weaken is not true.; int5 -> int6: there exists something such that that it is not billiards and it weakens is false.; sent9 -> int7: if the lever is an affirmative then it is an alabaster.;
the lever is not an alabaster.
sent3 -> int8: that the AU is non-affirmative thing that is lymphocytic does not hold.;
$hypothesis$ = the fact that the lever is alabaster is true. ; $context$ = sent1: the fact that the fact that that the Hebraist is not a kind of the Hutu but it does stave osteopathy is incorrect hold if the Hebraist is not a kind of a Weizenbier hold. sent2: that the yataghan is not lymphocytic hold. sent3: there is nothing that is both not an affirmative and lymphocytic. sent4: that the down does not impinge down and is indecorous is not true. sent5: the fact that the fact that the gauntlet is lymphocytic and it is a kind of a almandine is not incorrect is wrong if it is not a surprising. sent6: that something does stave osteopathy and solarizes does not hold if it does not requite adaptability. sent7: if something is not a ship-breaker then that it is not billiards and it weakens does not hold. sent8: something is not a ship-breaker if that it does stave grunt and is a Brother is false. sent9: if something is affirmative then it is a kind of an alabaster. sent10: if something does weaken the yataghan is an affirmative. sent11: if the cosigner does not weaken the fact that the lever is both not billiards and not a ship-breaker does not hold. sent12: the fact that the yataghan does stave grunt and is a kind of a Brother is wrong if that it is not lymphocytic hold. ; $proof$ = 
sent8 -> int1: the fact that if that the fact that the yataghan does stave grunt and it is the Brother does not hold hold then that the yataghan is not a ship-breaker hold is not false.; sent12 & sent2 -> int2: that the yataghan does stave grunt and is a Brother is wrong.; int1 & int2 -> int3: the yataghan is not a ship-breaker.; sent7 -> int4: the fact that the yataghan is not billiards but it does weaken is not right if it is not a kind of a ship-breaker.; int3 & int4 -> int5: that the yataghan is not billiards and does weaken is not true.; int5 -> int6: there exists something such that that it is not billiards and it weakens is false.; sent9 -> int7: if the lever is an affirmative then it is an alabaster.; __UNKNOWN__