the phenyltoloxamine is not normotensive.
sent1: a punctureless thing is nonechoic. sent2: if there exists something such that it is not a coo and it is not Rousseauan then the pitting is not a kind of a patchwork. sent3: if the measure does not extricate connotation but it is a kind of an overcoat the pitting is a patchwork. sent4: The pitting does not extricate Titan. sent5: the Titan does not extricate pitting. sent6: the standard-bearer either is not a fart or extricates puddler or both. sent7: the standard-bearer is not a coo if it does not fart and/or does extricate puddler. sent8: the Titan does not extricate concession. sent9: the measure does not extricate connotation and is a kind of an overcoat. sent10: if something is not a patchwork or it is not Rousseauan or both then the standard-bearer is not normotensive. sent11: the phenyltoloxamine is normotensive if the standard-bearer is not normotensive but it coos. sent12: if there exists something such that it is an overcoat then the pitting is not a kind of a patchwork and/or it is not Rousseauan. sent13: there exists something such that it is an overcoat. sent14: the standard-bearer is nonechoic if it extricates concession. sent15: if the Titan does not extricate pitting the standard-bearer extricates concession and/or it is punctureless.
sent7 & sent6 -> int1: the standard-bearer is not a coo.; void -> assump1: Let's assume that the standard-bearer is non-Rousseauan.; int1 & assump1 -> int2: the standard-bearer does not coo and it is not Rousseauan.; int2 -> int3: there is something such that it is both not a coo and not Rousseauan.; int3 & sent2 -> int4: the pitting is not a patchwork.; sent3 & sent9 -> int5: the pitting is a patchwork.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the standard-bearer is Rousseauan.; sent15 & sent5 -> int8: the standard-bearer extricates concession and/or it is punctureless.; sent1 -> int9: if the standard-bearer is punctureless then it is nonechoic.; int8 & sent14 & int9 -> int10: the standard-bearer is nonechoic.; int7 & int10 -> int11: the standard-bearer is Rousseauan and it is nonechoic.; int11 -> int12: there are Rousseauan and nonechoic things.;
the phenyltoloxamine is normotensive.
sent13 & sent12 -> int13: the pitting is not a patchwork or not Rousseauan or both.; int13 -> int14: something either is not a patchwork or is not Rousseauan or both.; int14 & sent10 -> int15: that the standard-bearer is not normotensive is not wrong.; sent8 -> int16: something does not extricate concession.;
$hypothesis$ = the phenyltoloxamine is not normotensive. ; $context$ = sent1: a punctureless thing is nonechoic. sent2: if there exists something such that it is not a coo and it is not Rousseauan then the pitting is not a kind of a patchwork. sent3: if the measure does not extricate connotation but it is a kind of an overcoat the pitting is a patchwork. sent4: The pitting does not extricate Titan. sent5: the Titan does not extricate pitting. sent6: the standard-bearer either is not a fart or extricates puddler or both. sent7: the standard-bearer is not a coo if it does not fart and/or does extricate puddler. sent8: the Titan does not extricate concession. sent9: the measure does not extricate connotation and is a kind of an overcoat. sent10: if something is not a patchwork or it is not Rousseauan or both then the standard-bearer is not normotensive. sent11: the phenyltoloxamine is normotensive if the standard-bearer is not normotensive but it coos. sent12: if there exists something such that it is an overcoat then the pitting is not a kind of a patchwork and/or it is not Rousseauan. sent13: there exists something such that it is an overcoat. sent14: the standard-bearer is nonechoic if it extricates concession. sent15: if the Titan does not extricate pitting the standard-bearer extricates concession and/or it is punctureless. ; $proof$ = 
sent7 & sent6 -> int1: the standard-bearer is not a coo.; void -> assump1: Let's assume that the standard-bearer is non-Rousseauan.; int1 & assump1 -> int2: the standard-bearer does not coo and it is not Rousseauan.; int2 -> int3: there is something such that it is both not a coo and not Rousseauan.; int3 & sent2 -> int4: the pitting is not a patchwork.; sent3 & sent9 -> int5: the pitting is a patchwork.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the standard-bearer is Rousseauan.; sent15 & sent5 -> int8: the standard-bearer extricates concession and/or it is punctureless.; sent1 -> int9: if the standard-bearer is punctureless then it is nonechoic.; int8 & sent14 & int9 -> int10: the standard-bearer is nonechoic.; int7 & int10 -> int11: the standard-bearer is Rousseauan and it is nonechoic.; int11 -> int12: there are Rousseauan and nonechoic things.; __UNKNOWN__