the curve is a cetacean.
sent1: something is a cetacean if that it is ocular and it is not a kind of a cetacean is not right. sent2: if the Nesselrode does not justify hurried the carbomycin does not justify freebie and it does not justify hurried. sent3: something is not a kind of a personal but it does justify freebie. sent4: there exists something such that it does not justify freebie. sent5: something does not justify hurried. sent6: if that the fact that something is both not impersonal and not cetacean is true is false then it is a cetacean. sent7: the whalesucker is a kind of a semidarkness and it is ocular. sent8: if the thromboplastin does justify hurried then the curve is not ocular. sent9: the carbomycin does not justify hurried. sent10: the thromboplastin is a personal. sent11: if the thromboplastin is personal thing that is ocular then the Nesselrode does not justify hurried. sent12: the carbomycin is not metabolic. sent13: the carbomycin is most-favored-nation and it relaces sortie. sent14: something does justify freebie but it does not justify hurried. sent15: the Nesselrode is not useful if something relaces sortie and is not metabolic. sent16: the fact that the curve is not cetacean hold if there is something such that that it does not justify freebie and does not justify hurried is not wrong. sent17: the Nesselrode justifies freebie. sent18: the fact that something does not justify freebie and is not a Ephesus does not hold if it is not useful. sent19: the fact that something is a personal but it is not a kind of a cetacean does not hold if it is not ocular. sent20: if something that is not ocular does not justify hurried then the Nesselrode does not justify freebie. sent21: the thromboplastin is ocular.
sent10 & sent21 -> int1: the thromboplastin is personal and ocular.; int1 & sent11 -> int2: the Nesselrode does not justify hurried.; int2 & sent2 -> int3: the carbomycin does not justify freebie and it does not justify hurried.; int3 -> int4: there is something such that it does not justify freebie and it does not justify hurried.; int4 & sent16 -> hypothesis;
the curve is a cetacean.
sent6 -> int5: if that the curve is a personal and non-cetacean does not hold then that it is a kind of a non-cetacean is not wrong.; sent19 -> int6: that the curve is a personal that is not a cetacean does not hold if it is not ocular.; sent18 -> int7: if the Nesselrode is not useful the fact that it does not justify freebie and is not a kind of a Ephesus is wrong.; sent13 -> int8: the carbomycin does relace sortie.; int8 & sent12 -> int9: the carbomycin does relace sortie but it is not metabolic.; int9 -> int10: something relaces sortie but it is not metabolic.; int10 & sent15 -> int11: that the Nesselrode is not useful is not wrong.; int7 & int11 -> int12: that the Nesselrode does not justify freebie and is not a kind of a Ephesus is incorrect.; int12 -> int13: there exists something such that that the fact that it does not justify freebie and it is not a Ephesus is true is wrong.;
$hypothesis$ = the curve is a cetacean. ; $context$ = sent1: something is a cetacean if that it is ocular and it is not a kind of a cetacean is not right. sent2: if the Nesselrode does not justify hurried the carbomycin does not justify freebie and it does not justify hurried. sent3: something is not a kind of a personal but it does justify freebie. sent4: there exists something such that it does not justify freebie. sent5: something does not justify hurried. sent6: if that the fact that something is both not impersonal and not cetacean is true is false then it is a cetacean. sent7: the whalesucker is a kind of a semidarkness and it is ocular. sent8: if the thromboplastin does justify hurried then the curve is not ocular. sent9: the carbomycin does not justify hurried. sent10: the thromboplastin is a personal. sent11: if the thromboplastin is personal thing that is ocular then the Nesselrode does not justify hurried. sent12: the carbomycin is not metabolic. sent13: the carbomycin is most-favored-nation and it relaces sortie. sent14: something does justify freebie but it does not justify hurried. sent15: the Nesselrode is not useful if something relaces sortie and is not metabolic. sent16: the fact that the curve is not cetacean hold if there is something such that that it does not justify freebie and does not justify hurried is not wrong. sent17: the Nesselrode justifies freebie. sent18: the fact that something does not justify freebie and is not a Ephesus does not hold if it is not useful. sent19: the fact that something is a personal but it is not a kind of a cetacean does not hold if it is not ocular. sent20: if something that is not ocular does not justify hurried then the Nesselrode does not justify freebie. sent21: the thromboplastin is ocular. ; $proof$ = 
sent10 & sent21 -> int1: the thromboplastin is personal and ocular.; int1 & sent11 -> int2: the Nesselrode does not justify hurried.; int2 & sent2 -> int3: the carbomycin does not justify freebie and it does not justify hurried.; int3 -> int4: there is something such that it does not justify freebie and it does not justify hurried.; int4 & sent16 -> hypothesis; __DISPROVED__