the basset shivers.
sent1: if something does not iterate and/or it does curdle it does not hype brucine. sent2: that something does distress and it is a ampere-hour is correct if it does not hype brucine. sent3: the posseman is not a distressed if there exists something such that it is a ampere-hour. sent4: the fact that the pentazocine does last shingle is correct. sent5: the windward shivers and is not a distressed. sent6: if something does not curdle it does hype brucine and is a ampere-hour. sent7: the windward is seminal and is not a distressed. sent8: if the basset does shiver and is not a joggle the shingle does not shiver. sent9: there is something such that that it is a kind of a joggle that does shiver is wrong. sent10: if the posseman is a distressed then it inserts system. sent11: if the fact that something does not hype middy but it does shiver is not correct the fact that it does not shiver is not wrong. sent12: that the pentazocine is Faustian and it hops is true if it does not channel. sent13: the fact that if the pentazocine is Faustian then the posseman does not iterate and/or curdles is correct. sent14: the shingle is not a preciseness if a seminal thing does not insert system. sent15: the fact that the basset does not hype middy but it shivers is not right if the posseman burgeons. sent16: the basset does not hype middy if there exists something such that that it is provident and it is not a joggle is wrong. sent17: the pentazocine does not curdle. sent18: that something is a kind of a preciseness but it is not seminal does not hold if it does insert system. sent19: something shivers but it does not burgeon if it is not a preciseness. sent20: the pentazocine is not seminal if the windward is seminal but it is not a distressed. sent21: if the basset does not burgeon and does not shiver then the fact that the posseman is not a preciseness is not false. sent22: something does not burgeon if it does not hype middy. sent23: there exists nothing such that it does hype middy and is not a preciseness. sent24: if something that does shiver does not burgeon the fact that it does not hype middy hold. sent25: there is nothing such that it is a kind of provident thing that does not joggle. sent26: if the posseman is not a distressed the basset is seminal but it does not insert system.
sent25 -> int1: the fact that the shingle is provident and does not joggle is wrong.; int1 -> int2: there is something such that the fact that it is a kind of provident thing that is not a joggle is false.; int2 & sent16 -> int3: the basset does not hype middy.; sent22 -> int4: the basset does not burgeon if that it does not hype middy is not false.; int3 & int4 -> int5: the basset does not burgeon.; void -> assump1: Let's assume that the basset does not shiver.; int5 & assump1 -> int6: the basset does not burgeon and it does not shiver.; int6 & sent21 -> int7: the posseman is not a preciseness.; sent20 & sent7 -> int8: the pentazocine is not seminal.;
the basset does not shiver.
sent11 -> int9: the fact that the basset does not shiver is true if that it does not hype middy and does shiver is false.; sent18 -> int10: that the posseman is a preciseness that is not seminal is wrong if it does insert system.; sent2 -> int11: if the posseman does not hype brucine then it is a distressed and is a ampere-hour.; sent1 -> int12: the posseman does not hype brucine if the fact that it does not iterate or it does curdle or both is true.;
$hypothesis$ = the basset shivers. ; $context$ = sent1: if something does not iterate and/or it does curdle it does not hype brucine. sent2: that something does distress and it is a ampere-hour is correct if it does not hype brucine. sent3: the posseman is not a distressed if there exists something such that it is a ampere-hour. sent4: the fact that the pentazocine does last shingle is correct. sent5: the windward shivers and is not a distressed. sent6: if something does not curdle it does hype brucine and is a ampere-hour. sent7: the windward is seminal and is not a distressed. sent8: if the basset does shiver and is not a joggle the shingle does not shiver. sent9: there is something such that that it is a kind of a joggle that does shiver is wrong. sent10: if the posseman is a distressed then it inserts system. sent11: if the fact that something does not hype middy but it does shiver is not correct the fact that it does not shiver is not wrong. sent12: that the pentazocine is Faustian and it hops is true if it does not channel. sent13: the fact that if the pentazocine is Faustian then the posseman does not iterate and/or curdles is correct. sent14: the shingle is not a preciseness if a seminal thing does not insert system. sent15: the fact that the basset does not hype middy but it shivers is not right if the posseman burgeons. sent16: the basset does not hype middy if there exists something such that that it is provident and it is not a joggle is wrong. sent17: the pentazocine does not curdle. sent18: that something is a kind of a preciseness but it is not seminal does not hold if it does insert system. sent19: something shivers but it does not burgeon if it is not a preciseness. sent20: the pentazocine is not seminal if the windward is seminal but it is not a distressed. sent21: if the basset does not burgeon and does not shiver then the fact that the posseman is not a preciseness is not false. sent22: something does not burgeon if it does not hype middy. sent23: there exists nothing such that it does hype middy and is not a preciseness. sent24: if something that does shiver does not burgeon the fact that it does not hype middy hold. sent25: there is nothing such that it is a kind of provident thing that does not joggle. sent26: if the posseman is not a distressed the basset is seminal but it does not insert system. ; $proof$ = 
sent25 -> int1: the fact that the shingle is provident and does not joggle is wrong.; int1 -> int2: there is something such that the fact that it is a kind of provident thing that is not a joggle is false.; int2 & sent16 -> int3: the basset does not hype middy.; sent22 -> int4: the basset does not burgeon if that it does not hype middy is not false.; int3 & int4 -> int5: the basset does not burgeon.; void -> assump1: Let's assume that the basset does not shiver.; int5 & assump1 -> int6: the basset does not burgeon and it does not shiver.; int6 & sent21 -> int7: the posseman is not a preciseness.; sent20 & sent7 -> int8: the pentazocine is not seminal.; __UNKNOWN__