the forty-niner is a kind of a Cartesian.
sent1: something that is anatropous does neglect monkfish. sent2: if the corn does not rationalize locum the success does not unscramble and does not neglect maidenhair. sent3: the commune is nonsectarian and it is relativistic. sent4: the forty-niner does not neglect monkfish. sent5: if something does not neglect maidenhair it is a Cartesian. sent6: if the Nightingale sentimentalises libretto then the Muscovite does not rationalize locum and is a Mongolian. sent7: the claystone is relativistic. sent8: if something is not a cabaret then it does sentimentalise MB. sent9: the faller neglects maidenhair if it is anatropous. sent10: the commune is nonsectarian. sent11: something is biosystematics if that it does neglect molarity hold. sent12: the fact that the commune is Sumerian is correct. sent13: that if that the blimp is not anatropous and/or neglects monkfish is not true then the faller is anatropous hold. sent14: the forty-niner is relativistic. sent15: that the faller is a Eleusine is right. sent16: if the success does not unscramble and it does not neglect maidenhair the blimp does not neglect maidenhair. sent17: the fact that the faller is anatropous is correct if the commune is relativistic. sent18: the commune does neglect maidenhair. sent19: if the Muscovite does not rationalize locum and is Mongolian the corn does not rationalize locum. sent20: the forty-niner does not neglect maidenhair if the faller does neglect monkfish. sent21: the commune neglects monkfish.
sent3 -> int1: the commune is relativistic.; int1 & sent17 -> int2: the faller is anatropous.; sent1 -> int3: if the faller is anatropous it neglects monkfish.; int2 & int3 -> int4: the fact that the faller neglects monkfish is not incorrect.; int4 & sent20 -> int5: the forty-niner does not neglect maidenhair.; sent5 -> int6: if the forty-niner does not neglect maidenhair it is not non-Cartesian.; int5 & int6 -> hypothesis;
the forty-niner is not a Cartesian.
$hypothesis$ = the forty-niner is a kind of a Cartesian. ; $context$ = sent1: something that is anatropous does neglect monkfish. sent2: if the corn does not rationalize locum the success does not unscramble and does not neglect maidenhair. sent3: the commune is nonsectarian and it is relativistic. sent4: the forty-niner does not neglect monkfish. sent5: if something does not neglect maidenhair it is a Cartesian. sent6: if the Nightingale sentimentalises libretto then the Muscovite does not rationalize locum and is a Mongolian. sent7: the claystone is relativistic. sent8: if something is not a cabaret then it does sentimentalise MB. sent9: the faller neglects maidenhair if it is anatropous. sent10: the commune is nonsectarian. sent11: something is biosystematics if that it does neglect molarity hold. sent12: the fact that the commune is Sumerian is correct. sent13: that if that the blimp is not anatropous and/or neglects monkfish is not true then the faller is anatropous hold. sent14: the forty-niner is relativistic. sent15: that the faller is a Eleusine is right. sent16: if the success does not unscramble and it does not neglect maidenhair the blimp does not neglect maidenhair. sent17: the fact that the faller is anatropous is correct if the commune is relativistic. sent18: the commune does neglect maidenhair. sent19: if the Muscovite does not rationalize locum and is Mongolian the corn does not rationalize locum. sent20: the forty-niner does not neglect maidenhair if the faller does neglect monkfish. sent21: the commune neglects monkfish. ; $proof$ = 
sent3 -> int1: the commune is relativistic.; int1 & sent17 -> int2: the faller is anatropous.; sent1 -> int3: if the faller is anatropous it neglects monkfish.; int2 & int3 -> int4: the fact that the faller neglects monkfish is not incorrect.; int4 & sent20 -> int5: the forty-niner does not neglect maidenhair.; sent5 -> int6: if the forty-niner does not neglect maidenhair it is not non-Cartesian.; int5 & int6 -> hypothesis; __PROVED__