the kettle does not groove fomite.
sent1: the exon is basilican if the son is not a kind of a airburst. sent2: if the fact that the larder is both not congregational and not a weekday is not correct then it does not groove caress. sent3: the kettle grooves fomite if the exon is not non-basilican. sent4: if the fact that the larder curvets platter and is not a Holocaust does not hold the fact that the son is not a airburst is correct. sent5: the fact that something does curvet platter but it is not a Holocaust is not right if that it does not groove caress is correct. sent6: the fact that the larder is not congregational and is not a weekday is incorrect.
sent5 -> int1: that the larder curvets platter but it is not a kind of a Holocaust is not correct if it does not groove caress.; sent2 & sent6 -> int2: the larder does not groove caress.; int1 & int2 -> int3: that the larder does curvet platter and is not a Holocaust does not hold.; int3 & sent4 -> int4: the son is not a airburst.; int4 & sent1 -> int5: the exon is basilican.; int5 & sent3 -> hypothesis;
$hypothesis$ = the kettle does not groove fomite. ; $context$ = sent1: the exon is basilican if the son is not a kind of a airburst. sent2: if the fact that the larder is both not congregational and not a weekday is not correct then it does not groove caress. sent3: the kettle grooves fomite if the exon is not non-basilican. sent4: if the fact that the larder curvets platter and is not a Holocaust does not hold the fact that the son is not a airburst is correct. sent5: the fact that something does curvet platter but it is not a Holocaust is not right if that it does not groove caress is correct. sent6: the fact that the larder is not congregational and is not a weekday is incorrect. ; $proof$ = 
sent5 -> int1: that the larder curvets platter but it is not a kind of a Holocaust is not correct if it does not groove caress.; sent2 & sent6 -> int2: the larder does not groove caress.; int1 & int2 -> int3: that the larder does curvet platter and is not a Holocaust does not hold.; int3 & sent4 -> int4: the son is not a airburst.; int4 & sent1 -> int5: the exon is basilican.; int5 & sent3 -> hypothesis; __DISPROVED__