the lees does pleach lees.
sent1: that something is not a kind of an almond if it is a Namibian hold. sent2: if something is a Ottoman and/or it is not acidotic it does not pleach lees. sent3: there exists something such that that it does vex fumigator hold. sent4: the fact that the snore is not a Namibian and it is not a kind of a shrewishness does not hold. sent5: that the snore is a kind of a Namibian that is not a shrewishness is false. sent6: if that the snore is not incalculable and it does not vex fumigator is incorrect that the Slav does not vex fumigator is not false. sent7: if that something is not a Namibian and not a shrewishness does not hold then it is not an almond. sent8: there exists something such that it is not an almond. sent9: if the aglet is not calculable the lees does pleach lees. sent10: there exists something such that it does vex fumigator and is an almond. sent11: if the Slav is Ottoman it does vex Jason. sent12: the Slav vexes aridity if it vexes Jason. sent13: if the Slav does not vex fumigator the fact that it does vex Jason and it is not a kind of an almond is false. sent14: the toucan does not vex Jason if that the Slav vex Jason but it is not an almond is wrong. sent15: if the snore is Namibian it is not a kind of an almond. sent16: if the Slav does vex aridity the snore does vex fumigator. sent17: the Slav is a Ottoman if the toucan is acidotic. sent18: if something does not vex Jason it vexes aridity and/or is not acidotic. sent19: the toucan is acidotic. sent20: there exists nothing that is not incalculable and does not vex fumigator. sent21: if there is something such that it vexes fumigator and it is not a kind of an almond the aglet is incalculable.
sent17 & sent19 -> int1: the Slav is a kind of a Ottoman.; int1 & sent11 -> int2: the Slav does vex Jason.; int2 & sent12 -> int3: the Slav does vex aridity.; int3 & sent16 -> int4: the snore vexes fumigator.; sent7 -> int5: if the fact that the snore is not a Namibian and is not a kind of a shrewishness is not right it is not an almond.; int5 & sent4 -> int6: the snore is not an almond.; int4 & int6 -> int7: the snore does vex fumigator but it is not an almond.; int7 -> int8: there is something such that the fact that it does vex fumigator and it is not an almond is true.; int8 & sent21 -> int9: the aglet is incalculable.; int9 & sent9 -> hypothesis;
the lees does not pleach lees.
sent2 -> int10: the lees does not pleach lees if either it is Ottoman or it is not acidotic or both.; sent18 -> int11: either the toucan does vex aridity or it is not acidotic or both if it does not vex Jason.; sent20 -> int12: that the snore is non-incalculable thing that does not vex fumigator does not hold.; sent6 & int12 -> int13: the fact that the Slav does not vex fumigator is correct.; sent13 & int13 -> int14: that the Slav does vex Jason and is not an almond is not right.; sent14 & int14 -> int15: the fact that the toucan does not vex Jason is not incorrect.; int11 & int15 -> int16: the toucan either does vex aridity or is not acidotic or both.; int16 -> int17: there is something such that it does vex aridity or is not acidotic or both.;
$hypothesis$ = the lees does pleach lees. ; $context$ = sent1: that something is not a kind of an almond if it is a Namibian hold. sent2: if something is a Ottoman and/or it is not acidotic it does not pleach lees. sent3: there exists something such that that it does vex fumigator hold. sent4: the fact that the snore is not a Namibian and it is not a kind of a shrewishness does not hold. sent5: that the snore is a kind of a Namibian that is not a shrewishness is false. sent6: if that the snore is not incalculable and it does not vex fumigator is incorrect that the Slav does not vex fumigator is not false. sent7: if that something is not a Namibian and not a shrewishness does not hold then it is not an almond. sent8: there exists something such that it is not an almond. sent9: if the aglet is not calculable the lees does pleach lees. sent10: there exists something such that it does vex fumigator and is an almond. sent11: if the Slav is Ottoman it does vex Jason. sent12: the Slav vexes aridity if it vexes Jason. sent13: if the Slav does not vex fumigator the fact that it does vex Jason and it is not a kind of an almond is false. sent14: the toucan does not vex Jason if that the Slav vex Jason but it is not an almond is wrong. sent15: if the snore is Namibian it is not a kind of an almond. sent16: if the Slav does vex aridity the snore does vex fumigator. sent17: the Slav is a Ottoman if the toucan is acidotic. sent18: if something does not vex Jason it vexes aridity and/or is not acidotic. sent19: the toucan is acidotic. sent20: there exists nothing that is not incalculable and does not vex fumigator. sent21: if there is something such that it vexes fumigator and it is not a kind of an almond the aglet is incalculable. ; $proof$ = 
sent17 & sent19 -> int1: the Slav is a kind of a Ottoman.; int1 & sent11 -> int2: the Slav does vex Jason.; int2 & sent12 -> int3: the Slav does vex aridity.; int3 & sent16 -> int4: the snore vexes fumigator.; sent7 -> int5: if the fact that the snore is not a Namibian and is not a kind of a shrewishness is not right it is not an almond.; int5 & sent4 -> int6: the snore is not an almond.; int4 & int6 -> int7: the snore does vex fumigator but it is not an almond.; int7 -> int8: there is something such that the fact that it does vex fumigator and it is not an almond is true.; int8 & sent21 -> int9: the aglet is incalculable.; int9 & sent9 -> hypothesis; __PROVED__