the autopilot is a motorcyclist.
sent1: the bay does defibrillate assault and it is fortunate if there exists something such that the fact that it is not a hairgrip is true. sent2: the fact that the fact that something does not defibrillate puppetry but it is a kind of a rubric is wrong if it is not a blastula is right. sent3: the palmist is not a kind of a hairgrip if the fact that that it is not a Crex and does defibrillate cuddle is true is incorrect. sent4: that the mahogany is a kind of a chant and is a strained is not wrong if there is something such that it is an abrogation. sent5: there exists something such that it is a Compton and is not Algonquian. sent6: if the bay defibrillates assault the magnetron is a kind of an abrogation. sent7: something is not a chant and it does not strain if it is not critical. sent8: if the mahogany is a chant and it is a strained then the radiotelephone is not a strained. sent9: there is something such that it is not a looseness. sent10: if the fact that something does not defibrillate puppetry and is a kind of a rubric is not right then it is not critical. sent11: the autopilot is not a motorcyclist if that the remainder is not a kind of a rubric and is not a kind of a blastula does not hold. sent12: that the palmist is not a Crex and does defibrillate cuddle is false. sent13: if something does defibrillate puppetry then that it does not rubric and is not a blastula is not correct. sent14: the radiotelephone is an abrogation if the remainder does not chant and it is not a strained. sent15: something is not critical if that it is not a motorcyclist but a rubric is false. sent16: the autopilot is a motorcyclist if the radiotelephone is a kind of an abrogation. sent17: the remainder is not a blastula if something is a Compton but it is not a Algonquian.
sent5 & sent17 -> int1: the remainder is not a kind of a blastula.; sent2 -> int2: if the remainder is not a blastula then the fact that that it does not defibrillate puppetry and it is a kind of a rubric is not false is not true.; int1 & int2 -> int3: that the remainder does not defibrillate puppetry but it is a kind of a rubric does not hold.; sent10 -> int4: the remainder is not critical if the fact that it does not defibrillate puppetry and it rubrics is not right.; int3 & int4 -> int5: the remainder is not critical.; sent7 -> int6: the remainder is both not a chant and not a strained if it is not critical.; int5 & int6 -> int7: the remainder does not chant and it is not a strained.; int7 & sent14 -> int8: the radiotelephone is an abrogation.; int8 & sent16 -> hypothesis;
the autopilot is not a kind of a motorcyclist.
sent13 -> int9: that the remainder is not a rubric and it is not a kind of a blastula is not correct if it does defibrillate puppetry.; sent3 & sent12 -> int10: the palmist is not a kind of a hairgrip.; int10 -> int11: there is something such that it is not a hairgrip.; int11 & sent1 -> int12: the bay does defibrillate assault and is fortunate.; int12 -> int13: the bay defibrillates assault.; sent6 & int13 -> int14: the magnetron is an abrogation.; int14 -> int15: something is an abrogation.; int15 & sent4 -> int16: the mahogany does chant and it is a strained.; sent8 & int16 -> int17: the radiotelephone is not a kind of a strained.; int17 -> int18: there exists something such that it is not a strained.;
$hypothesis$ = the autopilot is a motorcyclist. ; $context$ = sent1: the bay does defibrillate assault and it is fortunate if there exists something such that the fact that it is not a hairgrip is true. sent2: the fact that the fact that something does not defibrillate puppetry but it is a kind of a rubric is wrong if it is not a blastula is right. sent3: the palmist is not a kind of a hairgrip if the fact that that it is not a Crex and does defibrillate cuddle is true is incorrect. sent4: that the mahogany is a kind of a chant and is a strained is not wrong if there is something such that it is an abrogation. sent5: there exists something such that it is a Compton and is not Algonquian. sent6: if the bay defibrillates assault the magnetron is a kind of an abrogation. sent7: something is not a chant and it does not strain if it is not critical. sent8: if the mahogany is a chant and it is a strained then the radiotelephone is not a strained. sent9: there is something such that it is not a looseness. sent10: if the fact that something does not defibrillate puppetry and is a kind of a rubric is not right then it is not critical. sent11: the autopilot is not a motorcyclist if that the remainder is not a kind of a rubric and is not a kind of a blastula does not hold. sent12: that the palmist is not a Crex and does defibrillate cuddle is false. sent13: if something does defibrillate puppetry then that it does not rubric and is not a blastula is not correct. sent14: the radiotelephone is an abrogation if the remainder does not chant and it is not a strained. sent15: something is not critical if that it is not a motorcyclist but a rubric is false. sent16: the autopilot is a motorcyclist if the radiotelephone is a kind of an abrogation. sent17: the remainder is not a blastula if something is a Compton but it is not a Algonquian. ; $proof$ = 
sent5 & sent17 -> int1: the remainder is not a kind of a blastula.; sent2 -> int2: if the remainder is not a blastula then the fact that that it does not defibrillate puppetry and it is a kind of a rubric is not false is not true.; int1 & int2 -> int3: that the remainder does not defibrillate puppetry but it is a kind of a rubric does not hold.; sent10 -> int4: the remainder is not critical if the fact that it does not defibrillate puppetry and it rubrics is not right.; int3 & int4 -> int5: the remainder is not critical.; sent7 -> int6: the remainder is both not a chant and not a strained if it is not critical.; int5 & int6 -> int7: the remainder does not chant and it is not a strained.; int7 & sent14 -> int8: the radiotelephone is an abrogation.; int8 & sent16 -> hypothesis; __PROVED__