there exists something such that if it is a membered that it does not dissent shirtsleeves and is strong is not true.
sent1: if the warthog is a membered it does not dissent shirtsleeves and is strong. sent2: there is something such that if it is a membered it does not dissent shirtsleeves and it is strong. sent3: the fact that something does dissent shirtsleeves and is strong is not true if it is a membered. sent4: if something does batten then the fact that it is not denotative and it does dissent Soddy is not right. sent5: there is something such that if that it is a membered is not wrong then the fact that it dissents shirtsleeves and it is strong is wrong. sent6: if something is a membered it does not dissent shirtsleeves and is strong.
there is something such that if it battens then that it is not denotative and it does dissent Soddy is wrong.
sent4 -> int1: if the Czechoslovakian does batten then that it is not denotative and does dissent Soddy is not right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a membered that it does not dissent shirtsleeves and is strong is not true. ; $context$ = sent1: if the warthog is a membered it does not dissent shirtsleeves and is strong. sent2: there is something such that if it is a membered it does not dissent shirtsleeves and it is strong. sent3: the fact that something does dissent shirtsleeves and is strong is not true if it is a membered. sent4: if something does batten then the fact that it is not denotative and it does dissent Soddy is not right. sent5: there is something such that if that it is a membered is not wrong then the fact that it dissents shirtsleeves and it is strong is wrong. sent6: if something is a membered it does not dissent shirtsleeves and is strong. ; $proof$ = 
__UNKNOWN__