the plethodont does master cheese.
sent1: if the stepparent does not master leavened and is virtuous then the plethodont masters cheese. sent2: the Emmenthal is not a loom if the redcoat is not a loom and does not master leavened. sent3: the fact that that the stepparent does master leavened and does master cheese does not hold hold. sent4: if the Emmenthal is incoherent the fact that the plethodont is rimless but it is not a loom is not true. sent5: the Emmenthal is rimless if there are non-antennal things. sent6: the Emmenthal is a loom if it is rimless. sent7: if the centipede is rimless then the Emmenthal is antennal. sent8: the Emmenthal is rimless if the plethodont does not master cheese and looms. sent9: something that is authorial is a caroling. sent10: if the redcoat masters leavened the stepparent does not masters leavened but it is virtuous. sent11: the redcoat is coherent if the Emmenthal does loom. sent12: something does master leavened if it is coherent. sent13: something that is virtuous does not master leavened and is not coherent. sent14: if the plethodont is rimless then the Emmenthal is rimless thing that is a kind of a loom. sent15: something is centromeric if the fact that it is a playhouse is true. sent16: the Emmenthal is rimless if there is something such that that it is a basics and is antennal is not right. sent17: that the centipede is a kind of basics thing that is antennal is not right.
sent17 -> int1: there is something such that the fact that it is a kind of a basics and it is antennal is not right.; int1 & sent16 -> int2: the fact that the Emmenthal is rimless is right.; int2 & sent6 -> int3: the Emmenthal is a loom.; int3 & sent11 -> int4: the redcoat is coherent.; sent12 -> int5: that the redcoat does master leavened is not wrong if it is coherent.; int4 & int5 -> int6: the redcoat does master leavened.; int6 & sent10 -> int7: the stepparent does not master leavened but it is not non-virtuous.; int7 & sent1 -> hypothesis;
the plethodont does not master cheese.
sent13 -> int8: the redcoat does not master leavened and it is not coherent if it is virtuous.;
$hypothesis$ = the plethodont does master cheese. ; $context$ = sent1: if the stepparent does not master leavened and is virtuous then the plethodont masters cheese. sent2: the Emmenthal is not a loom if the redcoat is not a loom and does not master leavened. sent3: the fact that that the stepparent does master leavened and does master cheese does not hold hold. sent4: if the Emmenthal is incoherent the fact that the plethodont is rimless but it is not a loom is not true. sent5: the Emmenthal is rimless if there are non-antennal things. sent6: the Emmenthal is a loom if it is rimless. sent7: if the centipede is rimless then the Emmenthal is antennal. sent8: the Emmenthal is rimless if the plethodont does not master cheese and looms. sent9: something that is authorial is a caroling. sent10: if the redcoat masters leavened the stepparent does not masters leavened but it is virtuous. sent11: the redcoat is coherent if the Emmenthal does loom. sent12: something does master leavened if it is coherent. sent13: something that is virtuous does not master leavened and is not coherent. sent14: if the plethodont is rimless then the Emmenthal is rimless thing that is a kind of a loom. sent15: something is centromeric if the fact that it is a playhouse is true. sent16: the Emmenthal is rimless if there is something such that that it is a basics and is antennal is not right. sent17: that the centipede is a kind of basics thing that is antennal is not right. ; $proof$ = 
sent17 -> int1: there is something such that the fact that it is a kind of a basics and it is antennal is not right.; int1 & sent16 -> int2: the fact that the Emmenthal is rimless is right.; int2 & sent6 -> int3: the Emmenthal is a loom.; int3 & sent11 -> int4: the redcoat is coherent.; sent12 -> int5: that the redcoat does master leavened is not wrong if it is coherent.; int4 & int5 -> int6: the redcoat does master leavened.; int6 & sent10 -> int7: the stepparent does not master leavened but it is not non-virtuous.; int7 & sent1 -> hypothesis; __PROVED__