the counterrevolutionist is a poundage.
sent1: the nudibranch is a joiner and/or it is not alar if there exists something such that the fact that it is not alar hold. sent2: the nudibranch does not work English. sent3: something that works English does not barrack rash and is not a moss. sent4: that the counterrevolutionist is a poundage is not wrong if it is not a Vogul and it is a pleaser. sent5: if the nudibranch is not a flatware then it is a Alexandrine and a interspersion. sent6: something that is a kind of a poundage does work English. sent7: that the informant does not work xylophonist is not incorrect if it pleaches counterrevolutionist and it is not a kind of an adjective. sent8: the counterrevolutionist does work English if it is not a Vogul and not a poundage. sent9: the nudibranch is not a flatware if it is a joiner. sent10: the informant is not maximal. sent11: the posseman is a poundage if a Alexandrine is a frigate. sent12: the counterrevolutionist is both not a Vogul and not a pleaser if the nudibranch does not work English. sent13: the counterrevolutionist is not a pleaser. sent14: something does not work English and is not a kind of a poundage if it is not a frigate. sent15: The English does not work nudibranch. sent16: something that is not a Vogul and is not a pleaser is not a poundage. sent17: the slash is not alar. sent18: the informant does pleach counterrevolutionist but it is not an adjective if it is not maximal. sent19: the nudibranch is not a flatware if it is not alar. sent20: if something is not a Vogul but it is a kind of a pleaser then it is a kind of a poundage. sent21: the counterrevolutionist is not a kind of a pleaser if the nudibranch does not work English. sent22: if there is something such that the fact that it does not work xylophonist hold the nudibranch is a frigate but it does not remain.
sent16 -> int1: the counterrevolutionist is a poundage if it is not a Vogul and not a pleaser.; sent12 & sent2 -> int2: the counterrevolutionist is not a Vogul and it is not a pleaser.; int1 & int2 -> hypothesis;
the counterrevolutionist is not a poundage.
sent14 -> int3: if the counterrevolutionist is not a kind of a frigate it does not work English and it is not a poundage.;
$hypothesis$ = the counterrevolutionist is a poundage. ; $context$ = sent1: the nudibranch is a joiner and/or it is not alar if there exists something such that the fact that it is not alar hold. sent2: the nudibranch does not work English. sent3: something that works English does not barrack rash and is not a moss. sent4: that the counterrevolutionist is a poundage is not wrong if it is not a Vogul and it is a pleaser. sent5: if the nudibranch is not a flatware then it is a Alexandrine and a interspersion. sent6: something that is a kind of a poundage does work English. sent7: that the informant does not work xylophonist is not incorrect if it pleaches counterrevolutionist and it is not a kind of an adjective. sent8: the counterrevolutionist does work English if it is not a Vogul and not a poundage. sent9: the nudibranch is not a flatware if it is a joiner. sent10: the informant is not maximal. sent11: the posseman is a poundage if a Alexandrine is a frigate. sent12: the counterrevolutionist is both not a Vogul and not a pleaser if the nudibranch does not work English. sent13: the counterrevolutionist is not a pleaser. sent14: something does not work English and is not a kind of a poundage if it is not a frigate. sent15: The English does not work nudibranch. sent16: something that is not a Vogul and is not a pleaser is not a poundage. sent17: the slash is not alar. sent18: the informant does pleach counterrevolutionist but it is not an adjective if it is not maximal. sent19: the nudibranch is not a flatware if it is not alar. sent20: if something is not a Vogul but it is a kind of a pleaser then it is a kind of a poundage. sent21: the counterrevolutionist is not a kind of a pleaser if the nudibranch does not work English. sent22: if there is something such that the fact that it does not work xylophonist hold the nudibranch is a frigate but it does not remain. ; $proof$ = 
sent16 -> int1: the counterrevolutionist is a poundage if it is not a Vogul and not a pleaser.; sent12 & sent2 -> int2: the counterrevolutionist is not a Vogul and it is not a pleaser.; int1 & int2 -> hypothesis; __PROVED__