there is something such that if it is not a kind of a Indiaman the fact that it is not a kind of a crow and does smash sloganeering does not hold.
sent1: if the reeler is not a Indiaman then the fact that it is not a crow and it smashes sloganeering does not hold. sent2: there is something such that if it does reign hypha then the fact that it is not a burbot and is onside is not correct. sent3: if something is not a distillation then that it does not smash crippled and does ambulate is incorrect.
sent1 -> hypothesis;
there exists something such that if it is not a distillation then the fact that it does not smash crippled and it does ambulate is incorrect.
sent3 -> int1: if the fact that the birth is not a distillation is true then the fact that it does not smash crippled and it does ambulate is not true.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a Indiaman the fact that it is not a kind of a crow and does smash sloganeering does not hold. ; $context$ = sent1: if the reeler is not a Indiaman then the fact that it is not a crow and it smashes sloganeering does not hold. sent2: there is something such that if it does reign hypha then the fact that it is not a burbot and is onside is not correct. sent3: if something is not a distillation then that it does not smash crippled and does ambulate is incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__