the cyclotron is a ratchet.
sent1: if something denies interphone it is a prickliness. sent2: if there is something such that that it is not a kind of a deduction and does pitch Oriolus is wrong then the plimsoll denies interphone. sent3: the fact that the plimsoll is not a prickliness and is a deduction does not hold. sent4: the cyclotron ratchets if it is an atom. sent5: there exists something such that it does not deny darter. sent6: the fact that something denies darter is not incorrect. sent7: the cyclotron is a ratchet if the plimsoll is an atom. sent8: if the painter is competent it clanks. sent9: if something is Burundi it is an atom. sent10: if the painter does not deny darter but it is a ratchet then the cyclotron is not a kind of a ratchet. sent11: the fact that that the plimsoll is not computational but it relays does not hold is right if there is something such that it does not deny darter. sent12: if that the painter is a kind of a deduction is correct then it does deny interphone. sent13: there exists something such that the fact that it is not a purchase and it is a kind of a inactiveness is incorrect. sent14: the plimsoll denies interphone if there exists something such that it is a deduction. sent15: there exists something such that that it is a kind of a deduction and it pitches Oriolus is false. sent16: if there is something such that it does not deny darter then the fact that the painter is not a deduction and does pitch Oriolus is not true. sent17: the plimsoll is a Burundi if it is a kind of a prickliness. sent18: the fact that the painter is a kind of a deduction and it does pitch Oriolus is not right. sent19: something is not a deduction but it pitches Oriolus. sent20: if there is something such that it does not deny darter that the painter is a kind of a deduction and does pitch Oriolus is not correct. sent21: something does pitch Oriolus if it does deny interphone and is not a kind of a prickliness. sent22: if something is a deduction then it does not deny darter and it ratchets.
sent5 & sent16 -> int1: that the painter is not a kind of a deduction and pitches Oriolus is incorrect.; int1 -> int2: there exists something such that the fact that it is not a deduction and it does pitch Oriolus does not hold.; int2 & sent2 -> int3: the plimsoll denies interphone.; sent1 -> int4: the plimsoll is a prickliness if it does deny interphone.; int3 & int4 -> int5: the plimsoll is a prickliness.; int5 & sent17 -> int6: the plimsoll is a Burundi.; sent9 -> int7: if the plimsoll is a Burundi it is an atom.; int6 & int7 -> int8: the plimsoll is a kind of an atom.; int8 & sent7 -> hypothesis;
the cyclotron is not a kind of a ratchet.
sent22 -> int9: if the fact that the painter is a deduction is not false it does not deny darter and does ratchet.; sent21 -> int10: if the painter denies interphone and is not a prickliness then it does pitch Oriolus.;
$hypothesis$ = the cyclotron is a ratchet. ; $context$ = sent1: if something denies interphone it is a prickliness. sent2: if there is something such that that it is not a kind of a deduction and does pitch Oriolus is wrong then the plimsoll denies interphone. sent3: the fact that the plimsoll is not a prickliness and is a deduction does not hold. sent4: the cyclotron ratchets if it is an atom. sent5: there exists something such that it does not deny darter. sent6: the fact that something denies darter is not incorrect. sent7: the cyclotron is a ratchet if the plimsoll is an atom. sent8: if the painter is competent it clanks. sent9: if something is Burundi it is an atom. sent10: if the painter does not deny darter but it is a ratchet then the cyclotron is not a kind of a ratchet. sent11: the fact that that the plimsoll is not computational but it relays does not hold is right if there is something such that it does not deny darter. sent12: if that the painter is a kind of a deduction is correct then it does deny interphone. sent13: there exists something such that the fact that it is not a purchase and it is a kind of a inactiveness is incorrect. sent14: the plimsoll denies interphone if there exists something such that it is a deduction. sent15: there exists something such that that it is a kind of a deduction and it pitches Oriolus is false. sent16: if there is something such that it does not deny darter then the fact that the painter is not a deduction and does pitch Oriolus is not true. sent17: the plimsoll is a Burundi if it is a kind of a prickliness. sent18: the fact that the painter is a kind of a deduction and it does pitch Oriolus is not right. sent19: something is not a deduction but it pitches Oriolus. sent20: if there is something such that it does not deny darter that the painter is a kind of a deduction and does pitch Oriolus is not correct. sent21: something does pitch Oriolus if it does deny interphone and is not a kind of a prickliness. sent22: if something is a deduction then it does not deny darter and it ratchets. ; $proof$ = 
sent5 & sent16 -> int1: that the painter is not a kind of a deduction and pitches Oriolus is incorrect.; int1 -> int2: there exists something such that the fact that it is not a deduction and it does pitch Oriolus does not hold.; int2 & sent2 -> int3: the plimsoll denies interphone.; sent1 -> int4: the plimsoll is a prickliness if it does deny interphone.; int3 & int4 -> int5: the plimsoll is a prickliness.; int5 & sent17 -> int6: the plimsoll is a Burundi.; sent9 -> int7: if the plimsoll is a Burundi it is an atom.; int6 & int7 -> int8: the plimsoll is a kind of an atom.; int8 & sent7 -> hypothesis; __PROVED__