that the nucleolus is both not outward and non-calisthenic is false.
sent1: if the kenaf jacks mouse it is not calisthenic. sent2: if something is a breath it is outward. sent3: if the fact that the masquerade is not a Tobagonian and does spike is not right then the nucleolus is a Tobagonian. sent4: if the masquerade is not permeable then it is a Sondheim. sent5: the masquerade is outward and a spike if that it is not a Sondheim is correct. sent6: that the masquerade is not abasic but it is a Tobagonian is not correct. sent7: the masquerade is not a saxhorn. sent8: the fact that the nucleolus is non-outward thing that is calisthenic is false. sent9: the T-man is outward. sent10: the nucleolus is not calisthenic if it does spike. sent11: the fact that the nucleolus is outward but it is not a spike is not correct if that the masquerade is outward is right. sent12: if the masquerade is Tobagonian it is not a Sondheim. sent13: the masquerade is not a tundra. sent14: if the fact that the nucleolus is a Sondheim is not false the fact that the masquerade is not a Sondheim and not abasic does not hold. sent15: if that the plughole does not spike is not false it is a kind of a Hydnocarpus. sent16: that the nucleolus is a kind of non-outward thing that is not abasic is not true. sent17: the fact that the nucleolus is a kind of non-calisthenic thing that is not abasic is not true if the masquerade is calisthenic. sent18: if the masquerade is outward then the fact that the nucleolus is not outward and it is non-calisthenic is not true. sent19: that the masquerade is abasic and is not calisthenic does not hold. sent20: the nucleolus is not a Sawan if the fact that it is not a saxhorn and it is not a Sondheim does not hold. sent21: the masquerade is not a Sondheim if that it is not abasic and it is non-Tobagonian is not right. sent22: the masquerade does spike. sent23: if the stifle is not stored-program it is a kind of a Tobagonian that is rectosigmoid. sent24: the fact that the masquerade is non-abasic thing that is not a kind of a Tobagonian does not hold.
sent21 & sent24 -> int1: the masquerade is not a kind of a Sondheim.; int1 & sent5 -> int2: the masquerade is outward and it is a spike.; int2 -> int3: the masquerade is outward.; int3 & sent18 -> hypothesis;
the fact that the nucleolus is Tobagonian is not false.
sent2 -> int4: the buckram is outward if it is a breath.;
$hypothesis$ = that the nucleolus is both not outward and non-calisthenic is false. ; $context$ = sent1: if the kenaf jacks mouse it is not calisthenic. sent2: if something is a breath it is outward. sent3: if the fact that the masquerade is not a Tobagonian and does spike is not right then the nucleolus is a Tobagonian. sent4: if the masquerade is not permeable then it is a Sondheim. sent5: the masquerade is outward and a spike if that it is not a Sondheim is correct. sent6: that the masquerade is not abasic but it is a Tobagonian is not correct. sent7: the masquerade is not a saxhorn. sent8: the fact that the nucleolus is non-outward thing that is calisthenic is false. sent9: the T-man is outward. sent10: the nucleolus is not calisthenic if it does spike. sent11: the fact that the nucleolus is outward but it is not a spike is not correct if that the masquerade is outward is right. sent12: if the masquerade is Tobagonian it is not a Sondheim. sent13: the masquerade is not a tundra. sent14: if the fact that the nucleolus is a Sondheim is not false the fact that the masquerade is not a Sondheim and not abasic does not hold. sent15: if that the plughole does not spike is not false it is a kind of a Hydnocarpus. sent16: that the nucleolus is a kind of non-outward thing that is not abasic is not true. sent17: the fact that the nucleolus is a kind of non-calisthenic thing that is not abasic is not true if the masquerade is calisthenic. sent18: if the masquerade is outward then the fact that the nucleolus is not outward and it is non-calisthenic is not true. sent19: that the masquerade is abasic and is not calisthenic does not hold. sent20: the nucleolus is not a Sawan if the fact that it is not a saxhorn and it is not a Sondheim does not hold. sent21: the masquerade is not a Sondheim if that it is not abasic and it is non-Tobagonian is not right. sent22: the masquerade does spike. sent23: if the stifle is not stored-program it is a kind of a Tobagonian that is rectosigmoid. sent24: the fact that the masquerade is non-abasic thing that is not a kind of a Tobagonian does not hold. ; $proof$ = 
sent21 & sent24 -> int1: the masquerade is not a kind of a Sondheim.; int1 & sent5 -> int2: the masquerade is outward and it is a spike.; int2 -> int3: the masquerade is outward.; int3 & sent18 -> hypothesis; __PROVED__