the fact that there is something such that if it does not ignore summer then that it does not varnish becket and is a Nefud does not hold is not true.
sent1: there is something such that if it does not ignore summer then it does not varnish becket and is a Nefud. sent2: that the patricide does not varnish becket and is a Nefud is false if it does not ignore summer. sent3: the fact that the patricide does varnish becket and is a Nefud is not true if it does not ignore summer. sent4: if the patricide does ignore summer then that it does not varnish becket and it is a Nefud is wrong. sent5: there is something such that if it ignores summer then the fact that it does not varnish becket and is a Nefud is not correct. sent6: there exists something such that if it does not ignore summer then the fact that it does varnish becket and it is a Nefud does not hold. sent7: if the fact that the patricide does not ignore summer hold then it does not varnish becket and it is a Nefud.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not ignore summer then that it does not varnish becket and is a Nefud does not hold is not true. ; $context$ = sent1: there is something such that if it does not ignore summer then it does not varnish becket and is a Nefud. sent2: that the patricide does not varnish becket and is a Nefud is false if it does not ignore summer. sent3: the fact that the patricide does varnish becket and is a Nefud is not true if it does not ignore summer. sent4: if the patricide does ignore summer then that it does not varnish becket and it is a Nefud is wrong. sent5: there is something such that if it ignores summer then the fact that it does not varnish becket and is a Nefud is not correct. sent6: there exists something such that if it does not ignore summer then the fact that it does varnish becket and it is a Nefud does not hold. sent7: if the fact that the patricide does not ignore summer hold then it does not varnish becket and it is a Nefud. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__