the denizen is not a kind of a Edwin and is not Fahrenheit.
sent1: that the tentmaker is not a Edwin and squawks is not true. sent2: if that the watchman stampedes sigmoidoscope is false then the fact that the tentmaker is not a squawk and it is not a south does not hold. sent3: the fact that the tentmaker is a squawk and is not a south is not true. sent4: that that the Popper is non-punitive thing that does not quench Maeterlinck is false is not false. sent5: the fact that the tentmaker is not a squawk and it does not stampede sigmoidoscope is not true. sent6: the watchman does not stampede sigmoidoscope. sent7: if there exists something such that the fact that it does not squawk and is not a south is not true then the sigmoidoscope is a Edwin. sent8: that the tentmaker is not a south but a Edwin is not right. sent9: the fact that the denizen is not a Edwin and is a kind of a Fahrenheit is not true if the sigmoidoscope is a Edwin. sent10: that the tentmaker is a Edwin but not a squawk is not correct if the sigmoidoscope is a Edwin. sent11: The sigmoidoscope does not stampede watchman. sent12: if there exists something such that that it is non-Fahrenheit thing that is not a Edwin is incorrect then the denizen stampedes sigmoidoscope. sent13: the fact that the denizen is not a Edwin and it is not a Fahrenheit is wrong if the sigmoidoscope is a Edwin. sent14: there is something such that it is not a south and does not stampede sigmoidoscope.
sent2 & sent6 -> int1: that the tentmaker is both not a squawk and not south is not correct.; int1 -> int2: there exists something such that the fact that it is both not a squawk and not a south is not true.; int2 & sent7 -> int3: the sigmoidoscope is a Edwin.; sent13 & int3 -> hypothesis;
$hypothesis$ = the denizen is not a kind of a Edwin and is not Fahrenheit. ; $context$ = sent1: that the tentmaker is not a Edwin and squawks is not true. sent2: if that the watchman stampedes sigmoidoscope is false then the fact that the tentmaker is not a squawk and it is not a south does not hold. sent3: the fact that the tentmaker is a squawk and is not a south is not true. sent4: that that the Popper is non-punitive thing that does not quench Maeterlinck is false is not false. sent5: the fact that the tentmaker is not a squawk and it does not stampede sigmoidoscope is not true. sent6: the watchman does not stampede sigmoidoscope. sent7: if there exists something such that the fact that it does not squawk and is not a south is not true then the sigmoidoscope is a Edwin. sent8: that the tentmaker is not a south but a Edwin is not right. sent9: the fact that the denizen is not a Edwin and is a kind of a Fahrenheit is not true if the sigmoidoscope is a Edwin. sent10: that the tentmaker is a Edwin but not a squawk is not correct if the sigmoidoscope is a Edwin. sent11: The sigmoidoscope does not stampede watchman. sent12: if there exists something such that that it is non-Fahrenheit thing that is not a Edwin is incorrect then the denizen stampedes sigmoidoscope. sent13: the fact that the denizen is not a Edwin and it is not a Fahrenheit is wrong if the sigmoidoscope is a Edwin. sent14: there is something such that it is not a south and does not stampede sigmoidoscope. ; $proof$ = 
sent2 & sent6 -> int1: that the tentmaker is both not a squawk and not south is not correct.; int1 -> int2: there exists something such that the fact that it is both not a squawk and not a south is not true.; int2 & sent7 -> int3: the sigmoidoscope is a Edwin.; sent13 & int3 -> hypothesis; __DISPROVED__