the nutcracker is a simper.
sent1: the deanery is not handled. sent2: the nutcracker does not morph but it does quiver electromyogram. sent3: the deanery is not a Westminster. sent4: the deanery is a kind of a simper. sent5: if something is anemographic then it is handleless. sent6: the deanery is not a kind of a akee but it is a kind of a ceresin. sent7: if something that is not anemographic is a Westminster then it is not a simper. sent8: the nutcracker is a kind of a georgette. sent9: the nutcracker is a kind of non-anemographic thing that is a Westminster if the right-hander is a kind of a Westminster. sent10: something is not thermionics if the fact that it is not shrubby and it is thermionics is wrong. sent11: if the deanery is handleless then the right-hander is a kind of a Westminster. sent12: the tamoxifen is not a Westminster. sent13: if the nutcracker is anemographic the right-hander is not a Westminster but anemographic. sent14: the fact that the right-hander is not shrubby but it is thermionics is not true. sent15: the fact that the deanery is a kind of a Westminster that is not a simper is not correct if the right-hander is handleless. sent16: the isogamete is a simper. sent17: if something is both not handleless and a simper it is not anemographic. sent18: the insect is not anemographic. sent19: something does morph and it is anemographic if it is not thermionics. sent20: the nutcracker is a Knoxville. sent21: if the nutcracker is both not a Westminster and handleless it is not anemographic.
sent11 & sent1 -> int1: the right-hander is a Westminster.; int1 & sent9 -> int2: the nutcracker is not anemographic but it is a kind of a Westminster.; sent7 -> int3: if the nutcracker is not anemographic and is a Westminster then it is not a simper.; int2 & int3 -> hypothesis;
the nutcracker is a simper.
sent5 -> int4: the right-hander is handleless if it is not non-anemographic.; sent19 -> int5: that the right-hander does morph and is anemographic is not incorrect if it is not thermionics.; sent10 -> int6: if that the right-hander is not shrubby but thermionics is not true then it is not thermionics.; int6 & sent14 -> int7: the fact that the right-hander is not thermionics is not incorrect.; int5 & int7 -> int8: the right-hander morphs and is anemographic.; int8 -> int9: the right-hander is anemographic.; int4 & int9 -> int10: the right-hander is handleless.; sent15 & int10 -> int11: that the fact that the deanery is a Westminster but it is not a simper hold is wrong.; int11 -> int12: there exists something such that that it is a Westminster and is not a simper does not hold.;
$hypothesis$ = the nutcracker is a simper. ; $context$ = sent1: the deanery is not handled. sent2: the nutcracker does not morph but it does quiver electromyogram. sent3: the deanery is not a Westminster. sent4: the deanery is a kind of a simper. sent5: if something is anemographic then it is handleless. sent6: the deanery is not a kind of a akee but it is a kind of a ceresin. sent7: if something that is not anemographic is a Westminster then it is not a simper. sent8: the nutcracker is a kind of a georgette. sent9: the nutcracker is a kind of non-anemographic thing that is a Westminster if the right-hander is a kind of a Westminster. sent10: something is not thermionics if the fact that it is not shrubby and it is thermionics is wrong. sent11: if the deanery is handleless then the right-hander is a kind of a Westminster. sent12: the tamoxifen is not a Westminster. sent13: if the nutcracker is anemographic the right-hander is not a Westminster but anemographic. sent14: the fact that the right-hander is not shrubby but it is thermionics is not true. sent15: the fact that the deanery is a kind of a Westminster that is not a simper is not correct if the right-hander is handleless. sent16: the isogamete is a simper. sent17: if something is both not handleless and a simper it is not anemographic. sent18: the insect is not anemographic. sent19: something does morph and it is anemographic if it is not thermionics. sent20: the nutcracker is a Knoxville. sent21: if the nutcracker is both not a Westminster and handleless it is not anemographic. ; $proof$ = 
sent11 & sent1 -> int1: the right-hander is a Westminster.; int1 & sent9 -> int2: the nutcracker is not anemographic but it is a kind of a Westminster.; sent7 -> int3: if the nutcracker is not anemographic and is a Westminster then it is not a simper.; int2 & int3 -> hypothesis; __DISPROVED__