the morphine is not multiphase.
sent1: if that the albacore is a kind of non-reptilian thing that is a Pterocarpus is incorrect the bird does not riot muumuu. sent2: there is something such that it is not a blemish. sent3: the morphine is associative. sent4: the Soddy is a Pterocarpus if that it is a tarpon and it is not a Pterocarpus is not right. sent5: that that the morphine is not multiphase hold if the Soddy does not riot muumuu and is reptilian hold. sent6: if something is not a planetesimal and is not associative it does not riot muumuu. sent7: if that the morphine is multiphase and not a Pterocarpus is false that it is a Pterocarpus is not incorrect. sent8: the character is not a kind of a Pterocarpus if there is something such that it does not riot morphine. sent9: the fact that the Soddy is a kind of a blemish and it is a planetesimal if the Activase is not associative hold. sent10: that the Soddy is a tarpon and is not a Pterocarpus does not hold. sent11: if the Soddy is a blemish the morphine is multiphase. sent12: the pontifical does not riot morphine. sent13: the fact that if there exists something such that it is not a kind of a blemish then the Soddy is not a kind of a planetesimal and is not associative is not false. sent14: if there is something such that it is not a Pterocarpus then the fact that the albacore is not reptilian but it is a Pterocarpus is incorrect. sent15: the Soddy is both not multiphase and nonassociative. sent16: if that something does riot muumuu and is associative is false then it is not associative.
sent2 & sent13 -> int1: the Soddy is both not a planetesimal and not associative.; sent6 -> int2: if the Soddy is not a kind of a planetesimal and is not associative then it does not riot muumuu.; int1 & int2 -> int3: the Soddy does not riot muumuu.; sent4 & sent10 -> int4: the Soddy is a Pterocarpus.;
the morphine is multiphase.
sent16 -> int5: the Activase is not associative if that it does riot muumuu and it is associative does not hold.; sent12 -> int6: there exists something such that it does not riot morphine.; int6 & sent8 -> int7: the fact that the character is not a kind of a Pterocarpus is not wrong.; int7 -> int8: there is something such that it is not a Pterocarpus.; int8 & sent14 -> int9: the fact that the albacore is not reptilian but a Pterocarpus does not hold.; sent1 & int9 -> int10: the bird does not riot muumuu.; int10 -> int11: there is something such that it does not riot muumuu.;
$hypothesis$ = the morphine is not multiphase. ; $context$ = sent1: if that the albacore is a kind of non-reptilian thing that is a Pterocarpus is incorrect the bird does not riot muumuu. sent2: there is something such that it is not a blemish. sent3: the morphine is associative. sent4: the Soddy is a Pterocarpus if that it is a tarpon and it is not a Pterocarpus is not right. sent5: that that the morphine is not multiphase hold if the Soddy does not riot muumuu and is reptilian hold. sent6: if something is not a planetesimal and is not associative it does not riot muumuu. sent7: if that the morphine is multiphase and not a Pterocarpus is false that it is a Pterocarpus is not incorrect. sent8: the character is not a kind of a Pterocarpus if there is something such that it does not riot morphine. sent9: the fact that the Soddy is a kind of a blemish and it is a planetesimal if the Activase is not associative hold. sent10: that the Soddy is a tarpon and is not a Pterocarpus does not hold. sent11: if the Soddy is a blemish the morphine is multiphase. sent12: the pontifical does not riot morphine. sent13: the fact that if there exists something such that it is not a kind of a blemish then the Soddy is not a kind of a planetesimal and is not associative is not false. sent14: if there is something such that it is not a Pterocarpus then the fact that the albacore is not reptilian but it is a Pterocarpus is incorrect. sent15: the Soddy is both not multiphase and nonassociative. sent16: if that something does riot muumuu and is associative is false then it is not associative. ; $proof$ = 
sent2 & sent13 -> int1: the Soddy is both not a planetesimal and not associative.; sent6 -> int2: if the Soddy is not a kind of a planetesimal and is not associative then it does not riot muumuu.; int1 & int2 -> int3: the Soddy does not riot muumuu.; sent4 & sent10 -> int4: the Soddy is a Pterocarpus.; __UNKNOWN__