there is something such that if it is not a Italic then it is pyrolytic and it notices.
sent1: the bourn is a kind of a noticed if it is not a Italic. sent2: if the bourn is not Italic it is pyrolytic and it is a noticed. sent3: something is not non-Italic and not non-contrasty if it does not doss. sent4: there exists something such that if it is not a Italic it notices. sent5: there exists something such that if it is a Italic it is pyrolytic and it is a kind of a noticed. sent6: if the bourn is a Italic it is pyrolytic and a noticed. sent7: there is something such that if it is not Italic it is pyrolytic.
sent2 -> hypothesis;
the dik-dik is a Italic and it is contrasty if it does not doss.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Italic then it is pyrolytic and it notices. ; $context$ = sent1: the bourn is a kind of a noticed if it is not a Italic. sent2: if the bourn is not Italic it is pyrolytic and it is a noticed. sent3: something is not non-Italic and not non-contrasty if it does not doss. sent4: there exists something such that if it is not a Italic it notices. sent5: there exists something such that if it is a Italic it is pyrolytic and it is a kind of a noticed. sent6: if the bourn is a Italic it is pyrolytic and a noticed. sent7: there is something such that if it is not Italic it is pyrolytic. ; $proof$ = 
sent2 -> hypothesis; __PROVED__