the Orange is a heartthrob and it is mucinoid.
sent1: The fact that the pharmacopoeia does not tinge Plimsoll is right. sent2: if something does upgrade propman then it is a BR. sent3: if the Plimsoll is not a BR then that the Orange does tinge pharmacopoeia and upgrades propman does not hold. sent4: the fact that something is both a heartthrob and mucinoid is not true if the fact that it is not a dynamism hold. sent5: the Plimsoll upgrades propman but it does not tinge pharmacopoeia if the flogger is not a kind of a BR. sent6: if there exists something such that it upgrades doubletree and it is not a how-do-you-do the cangue is not a hypernym. sent7: if something does tinge pharmacopoeia then it does upgrade propman. sent8: that the Orange is a heartthrob is true. sent9: that the Plimsoll does not bow pisanosaur and is an electrocardiogram is incorrect if the Orange is a dynamism. sent10: the Plimsoll is not a kind of a BR if that it is a kind of a BR and it is not a kind of a titivation is not correct. sent11: the fact that the Plimsoll does not tinge pharmacopoeia is right. sent12: there is something such that that it does bathe and upgrades shagbark does not hold. sent13: the Orange does upgrade propman if that the Plimsoll is not a dynamism and does not tinge pharmacopoeia is not incorrect. sent14: if something is not a kind of a hypernym then that it is not a titivation and it is a kind of a BR does not hold. sent15: the Plimsoll is not a kind of a dynamism if there exists something such that that it is a bathing is right. sent16: that there exists something such that it is not a bathing and it does upgrade shagbark is right. sent17: something upgrades doubletree and is not a kind of a how-do-you-do. sent18: the Plimsoll is not a dynamism if there exists something such that the fact that that it does not bathe and upgrades shagbark is not wrong is wrong. sent19: there is something such that that it does not bathe and upgrades shagbark is not true. sent20: if the Orange is a kind of a BR it is mucinoid.
sent19 & sent18 -> int1: the Plimsoll is not a dynamism.; int1 & sent11 -> int2: the Plimsoll is not a dynamism and it does not tinge pharmacopoeia.; int2 & sent13 -> int3: the Orange does upgrade propman.; sent2 -> int4: the Orange is a BR if it upgrades propman.; int3 & int4 -> int5: the Orange is a kind of a BR.; int5 & sent20 -> int6: the Orange is mucinoid.; int6 & sent8 -> hypothesis;
that the Orange is both a heartthrob and mucinoid does not hold.
sent4 -> int7: if the Orange is not a dynamism the fact that it is a heartthrob and it is mucinoid does not hold.; sent14 -> int8: that the cangue is not a titivation and is a BR is wrong if it is not a hypernym.; sent17 & sent6 -> int9: the cangue is not a hypernym.; int8 & int9 -> int10: that the cangue is not a kind of a titivation but it is a kind of a BR is not true.; int10 -> int11: there exists something such that the fact that it is not a titivation and it is a kind of a BR is incorrect.;
$hypothesis$ = the Orange is a heartthrob and it is mucinoid. ; $context$ = sent1: The fact that the pharmacopoeia does not tinge Plimsoll is right. sent2: if something does upgrade propman then it is a BR. sent3: if the Plimsoll is not a BR then that the Orange does tinge pharmacopoeia and upgrades propman does not hold. sent4: the fact that something is both a heartthrob and mucinoid is not true if the fact that it is not a dynamism hold. sent5: the Plimsoll upgrades propman but it does not tinge pharmacopoeia if the flogger is not a kind of a BR. sent6: if there exists something such that it upgrades doubletree and it is not a how-do-you-do the cangue is not a hypernym. sent7: if something does tinge pharmacopoeia then it does upgrade propman. sent8: that the Orange is a heartthrob is true. sent9: that the Plimsoll does not bow pisanosaur and is an electrocardiogram is incorrect if the Orange is a dynamism. sent10: the Plimsoll is not a kind of a BR if that it is a kind of a BR and it is not a kind of a titivation is not correct. sent11: the fact that the Plimsoll does not tinge pharmacopoeia is right. sent12: there is something such that that it does bathe and upgrades shagbark does not hold. sent13: the Orange does upgrade propman if that the Plimsoll is not a dynamism and does not tinge pharmacopoeia is not incorrect. sent14: if something is not a kind of a hypernym then that it is not a titivation and it is a kind of a BR does not hold. sent15: the Plimsoll is not a kind of a dynamism if there exists something such that that it is a bathing is right. sent16: that there exists something such that it is not a bathing and it does upgrade shagbark is right. sent17: something upgrades doubletree and is not a kind of a how-do-you-do. sent18: the Plimsoll is not a dynamism if there exists something such that the fact that that it does not bathe and upgrades shagbark is not wrong is wrong. sent19: there is something such that that it does not bathe and upgrades shagbark is not true. sent20: if the Orange is a kind of a BR it is mucinoid. ; $proof$ = 
sent19 & sent18 -> int1: the Plimsoll is not a dynamism.; int1 & sent11 -> int2: the Plimsoll is not a dynamism and it does not tinge pharmacopoeia.; int2 & sent13 -> int3: the Orange does upgrade propman.; sent2 -> int4: the Orange is a BR if it upgrades propman.; int3 & int4 -> int5: the Orange is a kind of a BR.; int5 & sent20 -> int6: the Orange is mucinoid.; int6 & sent8 -> hypothesis; __PROVED__