the digitoxin does not jockey cephalometry.
sent1: the fact that something is not a Baptists and is partial is not true if it consorts matchwood. sent2: everything does consort matchwood. sent3: if the fissure is a Baptists then that the undoer is a partial is not incorrect. sent4: the digitoxin is not a kind of a Tatum. sent5: if something is a polymerization it is homostylous. sent6: if something is not a Frankenstein the fact that it is a polymerization and it is not impartial does not hold. sent7: the undoer jockeys cephalometry if something is not a kind of a Frankenstein. sent8: the digitoxin does not jockey cephalometry if the undoer is a partial and is a polymerization. sent9: the undoer is a Frankenstein. sent10: the leptodactylid is a Baptists if there exists something such that the fact that it is both not a Baptists and partial does not hold. sent11: the digitoxin is not a kind of a Frankenstein and does consort acupressure if it is not a Tatum. sent12: if the undoer is a Frankenstein it is a kind of a polymerization. sent13: if there is something such that it jockeys cephalometry the leptodactylid is a polymerization. sent14: the commoner is a kind of a Frankenstein.
sent12 & sent9 -> int1: the undoer is a polymerization.;
the digitoxin does jockey cephalometry.
sent6 -> int2: the fact that the fact that the undoer is a polymerization and it is not impartial hold is false if it is not a Frankenstein.;
$hypothesis$ = the digitoxin does not jockey cephalometry. ; $context$ = sent1: the fact that something is not a Baptists and is partial is not true if it consorts matchwood. sent2: everything does consort matchwood. sent3: if the fissure is a Baptists then that the undoer is a partial is not incorrect. sent4: the digitoxin is not a kind of a Tatum. sent5: if something is a polymerization it is homostylous. sent6: if something is not a Frankenstein the fact that it is a polymerization and it is not impartial does not hold. sent7: the undoer jockeys cephalometry if something is not a kind of a Frankenstein. sent8: the digitoxin does not jockey cephalometry if the undoer is a partial and is a polymerization. sent9: the undoer is a Frankenstein. sent10: the leptodactylid is a Baptists if there exists something such that the fact that it is both not a Baptists and partial does not hold. sent11: the digitoxin is not a kind of a Frankenstein and does consort acupressure if it is not a Tatum. sent12: if the undoer is a Frankenstein it is a kind of a polymerization. sent13: if there is something such that it jockeys cephalometry the leptodactylid is a polymerization. sent14: the commoner is a kind of a Frankenstein. ; $proof$ = 
sent12 & sent9 -> int1: the undoer is a polymerization.; __UNKNOWN__