the phenelzine is not monomorphemic.
sent1: the phenelzine is not a swearer but Altaic if it is not monomorphemic. sent2: the stemma does not rid Mazzini. sent3: the interviewer does not book pliancy. sent4: if the tolazoline is non-mental the phenelzine is a swearer and is not monomorphemic. sent5: the phenelzine is not a swearer. sent6: the stemma is not a swearer. sent7: the phenelzine is not a screening. sent8: if something does not book pliancy it is not a swearer and it is a kind of a Altaic. sent9: if the stemma does not rid Mazzini then it does not book pliancy. sent10: if the phenelzine is not monomorphemic then it does not rid Mazzini. sent11: if something does not book pliancy the fact that it is not a kind of a swearer is not wrong. sent12: that the solution is not unemotional but it is mental does not hold. sent13: if the simazine does not tidy it does not accuse. sent14: The Mazzini does not rid stemma. sent15: if the stemma is a swearer and it is a Altaic the phenelzine is not monomorphemic. sent16: if the stemma does not book pliancy then the fact that it is not a swearer hold. sent17: the stemma is not a swearer and not invasive. sent18: if the stemma is not a Altaic and it does not book pliancy the displacement does not book pliancy. sent19: the phenelzine does not book pliancy if the stemma is not a swearer and is monomorphemic. sent20: if the phenelzine does not rid Mazzini the fact that it is non-monomorphemic thing that books pliancy is not wrong. sent21: something is a swearer if it is a kind of unemotional thing that is not mental. sent22: if the stemma is a swearer then it is Altaic. sent23: the stemma is unemotional but it is not mental if the fact that it is not a unselfishness is not wrong. sent24: the phenelzine is not a kind of a aminopyrine and slogs neuropsychiatry. sent25: the phenelzine is not monomorphemic if the stemma is not a kind of a swearer but it is a Altaic.
sent9 & sent2 -> int1: the stemma does not book pliancy.; sent8 -> int2: if the stemma does not book pliancy it is both not a swearer and a Altaic.; int1 & int2 -> int3: the stemma is both not a swearer and Altaic.; int3 & sent25 -> hypothesis;
the displacement does not book pliancy.
sent12 -> int4: there is something such that that it is both not unemotional and mental is false.;
$hypothesis$ = the phenelzine is not monomorphemic. ; $context$ = sent1: the phenelzine is not a swearer but Altaic if it is not monomorphemic. sent2: the stemma does not rid Mazzini. sent3: the interviewer does not book pliancy. sent4: if the tolazoline is non-mental the phenelzine is a swearer and is not monomorphemic. sent5: the phenelzine is not a swearer. sent6: the stemma is not a swearer. sent7: the phenelzine is not a screening. sent8: if something does not book pliancy it is not a swearer and it is a kind of a Altaic. sent9: if the stemma does not rid Mazzini then it does not book pliancy. sent10: if the phenelzine is not monomorphemic then it does not rid Mazzini. sent11: if something does not book pliancy the fact that it is not a kind of a swearer is not wrong. sent12: that the solution is not unemotional but it is mental does not hold. sent13: if the simazine does not tidy it does not accuse. sent14: The Mazzini does not rid stemma. sent15: if the stemma is a swearer and it is a Altaic the phenelzine is not monomorphemic. sent16: if the stemma does not book pliancy then the fact that it is not a swearer hold. sent17: the stemma is not a swearer and not invasive. sent18: if the stemma is not a Altaic and it does not book pliancy the displacement does not book pliancy. sent19: the phenelzine does not book pliancy if the stemma is not a swearer and is monomorphemic. sent20: if the phenelzine does not rid Mazzini the fact that it is non-monomorphemic thing that books pliancy is not wrong. sent21: something is a swearer if it is a kind of unemotional thing that is not mental. sent22: if the stemma is a swearer then it is Altaic. sent23: the stemma is unemotional but it is not mental if the fact that it is not a unselfishness is not wrong. sent24: the phenelzine is not a kind of a aminopyrine and slogs neuropsychiatry. sent25: the phenelzine is not monomorphemic if the stemma is not a kind of a swearer but it is a Altaic. ; $proof$ = 
sent9 & sent2 -> int1: the stemma does not book pliancy.; sent8 -> int2: if the stemma does not book pliancy it is both not a swearer and a Altaic.; int1 & int2 -> int3: the stemma is both not a swearer and Altaic.; int3 & sent25 -> hypothesis; __PROVED__