the nonperson is masonic.
sent1: the nonperson does not clear Coigue if it is immiscible. sent2: that something does clear Coigue or it is not collagenous or both is not right if it is immiscible. sent3: the fact that the cabinetmaker does backpedal and/or is not immiscible does not hold if it is eusporangiate. sent4: that the polypore does company silks and/or does not company Bulgaria is incorrect if it is a highroad. sent5: that something is not a highroad and it is not a ditto does not hold if it is not immiscible. sent6: the nonperson dittos if the cabinetmaker is a highroad. sent7: the cabinetmaker is immiscible if it is magnetic. sent8: the nonperson is not a radiophotography. sent9: if the fact that the nonperson is collagenous and/or it is not a highroad is incorrect then it dittos. sent10: the cabinetmaker is not a wing if it is a comprehensive. sent11: something does not clear Coigue if it does not backpedal. sent12: if something is a merganser then it is a posse. sent13: the fact that the staff is collagenous is true. sent14: if something is immiscible it does not clear Coigue. sent15: if the cabinetmaker is not a ditto the nonperson is not masonic and it is not a highroad. sent16: the cabinetmaker is a highroad. sent17: if either the bucket is not immiscible or it is not collagenous or both then the cabinetmaker is not a ditto. sent18: the cabinetmaker is collagenous if it is a kind of a highroad. sent19: the nonperson is a highroad. sent20: something that dittos is immiscible. sent21: if that something does clear Coigue and/or is not collagenous is incorrect then it is masonic.
sent6 & sent16 -> int1: the nonperson is a ditto.; sent20 -> int2: the nonperson is immiscible if it is a kind of a ditto.; int1 & int2 -> int3: the nonperson is immiscible.; sent2 -> int4: the fact that the nonperson does clear Coigue and/or it is not collagenous is incorrect if that it is immiscible is not false.; int3 & int4 -> int5: that the nonperson does clear Coigue and/or it is not collagenous is incorrect.; sent21 -> int6: the nonperson is masonic if the fact that it clears Coigue and/or is not collagenous does not hold.; int5 & int6 -> hypothesis;
the nonperson is not masonic.
sent5 -> int7: if that the cabinetmaker is not immiscible is correct the fact that it is both not a highroad and not a ditto is not true.;
$hypothesis$ = the nonperson is masonic. ; $context$ = sent1: the nonperson does not clear Coigue if it is immiscible. sent2: that something does clear Coigue or it is not collagenous or both is not right if it is immiscible. sent3: the fact that the cabinetmaker does backpedal and/or is not immiscible does not hold if it is eusporangiate. sent4: that the polypore does company silks and/or does not company Bulgaria is incorrect if it is a highroad. sent5: that something is not a highroad and it is not a ditto does not hold if it is not immiscible. sent6: the nonperson dittos if the cabinetmaker is a highroad. sent7: the cabinetmaker is immiscible if it is magnetic. sent8: the nonperson is not a radiophotography. sent9: if the fact that the nonperson is collagenous and/or it is not a highroad is incorrect then it dittos. sent10: the cabinetmaker is not a wing if it is a comprehensive. sent11: something does not clear Coigue if it does not backpedal. sent12: if something is a merganser then it is a posse. sent13: the fact that the staff is collagenous is true. sent14: if something is immiscible it does not clear Coigue. sent15: if the cabinetmaker is not a ditto the nonperson is not masonic and it is not a highroad. sent16: the cabinetmaker is a highroad. sent17: if either the bucket is not immiscible or it is not collagenous or both then the cabinetmaker is not a ditto. sent18: the cabinetmaker is collagenous if it is a kind of a highroad. sent19: the nonperson is a highroad. sent20: something that dittos is immiscible. sent21: if that something does clear Coigue and/or is not collagenous is incorrect then it is masonic. ; $proof$ = 
sent6 & sent16 -> int1: the nonperson is a ditto.; sent20 -> int2: the nonperson is immiscible if it is a kind of a ditto.; int1 & int2 -> int3: the nonperson is immiscible.; sent2 -> int4: the fact that the nonperson does clear Coigue and/or it is not collagenous is incorrect if that it is immiscible is not false.; int3 & int4 -> int5: that the nonperson does clear Coigue and/or it is not collagenous is incorrect.; sent21 -> int6: the nonperson is masonic if the fact that it clears Coigue and/or is not collagenous does not hold.; int5 & int6 -> hypothesis; __PROVED__