the sphincter is a countryman and it does preen.
sent1: that the bung does greet and it contributes periodontist is wrong. sent2: if something either does extinguish pizza or does not contribute periodontist or both it is not a countryman. sent3: if the ETD is a CD-ROM the wing-nut does extinguish pizza. sent4: if something is not elementary it is a countryman and preens. sent5: the bung does not extinguish pizza and it is not a kind of a CD-ROM if the fact that the ETD does not contribute periodontist is right. sent6: if the fact that the backbencher does extinguish pizza is not false then that it is not a kind of a countryman is not incorrect. sent7: if that something is a kind of a charity but it is not Bantoid is true the bung is elementary. sent8: the wing-nut does contribute Lao if the backbencher is a CTC. sent9: the backbencher is elementary and does not extinguish pizza. sent10: the illumination is a kind of a charity. sent11: the ETD is post-communist if the wing-nut contributes Lao. sent12: the ETD is a kind of a CD-ROM if the bung is elementary. sent13: if the illumination is a charity the wing-nut is a charity and/or does not extinguish pizza. sent14: there exists something such that it is a charity and Bantoid. sent15: something does extinguish pizza and is elementary. sent16: that the backbencher is not Bantoid is not true. sent17: if something is post-communist or it does not contribute periodontist or both then it does not contribute periodontist. sent18: the illumination is a charity and not Bantoid. sent19: there exists something such that it is a kind of a charity. sent20: the bung is Bantoid. sent21: if the wing-nut does extinguish pizza either the backbencher extinguish pizza or it does not contribute periodontist or both. sent22: if the backbencher is not a kind of a countryman that the sphincter is a countryman and preens does not hold. sent23: something is not a kind of a countryman if it extinguishes pizza. sent24: there exists something such that it is not Bantoid.
sent18 -> int1: something is a charity that is not Bantoid.; int1 & sent7 -> int2: the bung is elementary.; int2 & sent12 -> int3: the ETD is a kind of a CD-ROM.; int3 & sent3 -> int4: the wing-nut does extinguish pizza.; int4 & sent21 -> int5: the backbencher extinguishes pizza and/or it does not contribute periodontist.; sent2 -> int6: the backbencher is not a countryman if it does extinguish pizza or does not contribute periodontist or both.; int5 & int6 -> int7: the backbencher is not a countryman.; int7 & sent22 -> hypothesis;
the sphincter is a countryman and it does preen.
sent4 -> int8: the sphincter is a countryman that does preen if it is not elementary.; sent17 -> int9: if that the ETD is post-communist and/or it does not contribute periodontist is true then it does not contribute periodontist.;
$hypothesis$ = the sphincter is a countryman and it does preen. ; $context$ = sent1: that the bung does greet and it contributes periodontist is wrong. sent2: if something either does extinguish pizza or does not contribute periodontist or both it is not a countryman. sent3: if the ETD is a CD-ROM the wing-nut does extinguish pizza. sent4: if something is not elementary it is a countryman and preens. sent5: the bung does not extinguish pizza and it is not a kind of a CD-ROM if the fact that the ETD does not contribute periodontist is right. sent6: if the fact that the backbencher does extinguish pizza is not false then that it is not a kind of a countryman is not incorrect. sent7: if that something is a kind of a charity but it is not Bantoid is true the bung is elementary. sent8: the wing-nut does contribute Lao if the backbencher is a CTC. sent9: the backbencher is elementary and does not extinguish pizza. sent10: the illumination is a kind of a charity. sent11: the ETD is post-communist if the wing-nut contributes Lao. sent12: the ETD is a kind of a CD-ROM if the bung is elementary. sent13: if the illumination is a charity the wing-nut is a charity and/or does not extinguish pizza. sent14: there exists something such that it is a charity and Bantoid. sent15: something does extinguish pizza and is elementary. sent16: that the backbencher is not Bantoid is not true. sent17: if something is post-communist or it does not contribute periodontist or both then it does not contribute periodontist. sent18: the illumination is a charity and not Bantoid. sent19: there exists something such that it is a kind of a charity. sent20: the bung is Bantoid. sent21: if the wing-nut does extinguish pizza either the backbencher extinguish pizza or it does not contribute periodontist or both. sent22: if the backbencher is not a kind of a countryman that the sphincter is a countryman and preens does not hold. sent23: something is not a kind of a countryman if it extinguishes pizza. sent24: there exists something such that it is not Bantoid. ; $proof$ = 
sent18 -> int1: something is a charity that is not Bantoid.; int1 & sent7 -> int2: the bung is elementary.; int2 & sent12 -> int3: the ETD is a kind of a CD-ROM.; int3 & sent3 -> int4: the wing-nut does extinguish pizza.; int4 & sent21 -> int5: the backbencher extinguishes pizza and/or it does not contribute periodontist.; sent2 -> int6: the backbencher is not a countryman if it does extinguish pizza or does not contribute periodontist or both.; int5 & int6 -> int7: the backbencher is not a countryman.; int7 & sent22 -> hypothesis; __DISPROVED__