that the pentathlete ebbs Terence hold.
sent1: that the bullyboy is a kind of a millipede is not wrong. sent2: something does not ebb Terence if that it does ebb slump and it ebbs raving does not hold. sent3: if the bullyboy does not ebb slump then that the pentathlete ebb slump and ebbs raving does not hold. sent4: the fact that the bullyboy is a millipede is not incorrect if the slump is a Niamey. sent5: that the slump is not prolate and it does not invite cobweb does not hold. sent6: if the slump does ebb Terence the pentathlete does ebb Terence. sent7: if something does not mull or it is not endermic or both it does not mull. sent8: that the bullyboy is not prolate is not wrong. sent9: if the pentathlete does not ebb slump it does not ebb Terence. sent10: something that is approachable either is not a mull or is non-endermic or both. sent11: if something does not mull then the fact that it is a kind of a millipede and ebbs raving is wrong. sent12: if that that the slump is not prolate and does not invite cobweb does not hold is correct it is a Niamey. sent13: the slump does ebb Terence and does not ebb slump if the bullyboy is not a kind of a Niamey. sent14: if the fact that something is a millipede and does ebb raving does not hold it is not a kind of a Niamey. sent15: that the slump is not prolate but it invites cobweb does not hold. sent16: if something does not ebb slump then it does not ebb Terence. sent17: if the slump is a kind of a Niamey then the bullyboy does not ebb slump and is a millipede.
sent12 & sent5 -> int1: the slump is a Niamey.; int1 & sent17 -> int2: the bullyboy does not ebb slump but it is a kind of a millipede.; int2 -> int3: the bullyboy does not ebb slump.; int3 & sent3 -> int4: that the fact that the pentathlete ebbs slump and it ebbs raving hold is wrong.; sent2 -> int5: if that the pentathlete does ebb slump and it does ebb raving is not right it does not ebb Terence.; int4 & int5 -> hypothesis;
the pentathlete does ebb Terence.
sent14 -> int6: the bullyboy is not a Niamey if the fact that it is a kind of a millipede that does ebb raving does not hold.; sent11 -> int7: if the bullyboy is not a mull then that it is a millipede and it does ebb raving is wrong.; sent7 -> int8: the bullyboy does not mull if it is not a mull and/or it is not endermic.; sent10 -> int9: the bullyboy is not a mull or it is not endermic or both if it is approachable.;
$hypothesis$ = that the pentathlete ebbs Terence hold. ; $context$ = sent1: that the bullyboy is a kind of a millipede is not wrong. sent2: something does not ebb Terence if that it does ebb slump and it ebbs raving does not hold. sent3: if the bullyboy does not ebb slump then that the pentathlete ebb slump and ebbs raving does not hold. sent4: the fact that the bullyboy is a millipede is not incorrect if the slump is a Niamey. sent5: that the slump is not prolate and it does not invite cobweb does not hold. sent6: if the slump does ebb Terence the pentathlete does ebb Terence. sent7: if something does not mull or it is not endermic or both it does not mull. sent8: that the bullyboy is not prolate is not wrong. sent9: if the pentathlete does not ebb slump it does not ebb Terence. sent10: something that is approachable either is not a mull or is non-endermic or both. sent11: if something does not mull then the fact that it is a kind of a millipede and ebbs raving is wrong. sent12: if that that the slump is not prolate and does not invite cobweb does not hold is correct it is a Niamey. sent13: the slump does ebb Terence and does not ebb slump if the bullyboy is not a kind of a Niamey. sent14: if the fact that something is a millipede and does ebb raving does not hold it is not a kind of a Niamey. sent15: that the slump is not prolate but it invites cobweb does not hold. sent16: if something does not ebb slump then it does not ebb Terence. sent17: if the slump is a kind of a Niamey then the bullyboy does not ebb slump and is a millipede. ; $proof$ = 
sent12 & sent5 -> int1: the slump is a Niamey.; int1 & sent17 -> int2: the bullyboy does not ebb slump but it is a kind of a millipede.; int2 -> int3: the bullyboy does not ebb slump.; int3 & sent3 -> int4: that the fact that the pentathlete ebbs slump and it ebbs raving hold is wrong.; sent2 -> int5: if that the pentathlete does ebb slump and it does ebb raving is not right it does not ebb Terence.; int4 & int5 -> hypothesis; __DISPROVED__