the fact that there exists something such that if it does tell and it is not a grub it does not cleave seashore is not false.
sent1: the disaccharidase is not a Pyrus if it is autumnal and it cleaves seashore. sent2: there is something such that if it is a kind of a semibreve and it does not coffin disaccharidase then it is a acebutolol. sent3: there exists something such that if it is an evergreen and it is stearic it is not Syrian. sent4: the fact that the disaccharidase does not cleave seashore if the disaccharidase does tell and is not a kind of a grub hold. sent5: if something is armless but not a grub that it is not a corrosion is true. sent6: the fact that the stringybark does not load flying hold if it does tell and it is not a kind of a Lunda. sent7: there exists something such that if it does tell and is not a kind of a grub it does cleave seashore.
sent4 -> hypothesis;
the cement is not a kind of a corrosion if it is armless and does not grub.
sent5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does tell and it is not a grub it does not cleave seashore is not false. ; $context$ = sent1: the disaccharidase is not a Pyrus if it is autumnal and it cleaves seashore. sent2: there is something such that if it is a kind of a semibreve and it does not coffin disaccharidase then it is a acebutolol. sent3: there exists something such that if it is an evergreen and it is stearic it is not Syrian. sent4: the fact that the disaccharidase does not cleave seashore if the disaccharidase does tell and is not a kind of a grub hold. sent5: if something is armless but not a grub that it is not a corrosion is true. sent6: the fact that the stringybark does not load flying hold if it does tell and it is not a kind of a Lunda. sent7: there exists something such that if it does tell and is not a kind of a grub it does cleave seashore. ; $proof$ = 
sent4 -> hypothesis; __PROVED__