there is something such that if it is not a Steiner then it is not cryonics.
sent1: there exists something such that if that it is a kind of a astraphobia hold then it is not a radical. sent2: there is something such that if it is not a smother it does not housekeep echo. sent3: there is something such that if it is a Leiophyllum then it is not artiodactyl. sent4: there is something such that if it is not a kind of a Steiner the fact that it is not cryonics is not true. sent5: if the bottle is not a symbolist it is a kind of a disruption. sent6: the fact that if something is a Steiner it is non-cryonics is correct. sent7: if the cervix does catabolize it is not cryonics. sent8: if something is not a Steiner it is not non-cryonics. sent9: if something is not a Steiner that it is not cryonics hold.
sent9 -> int1: if that the tidbit is not a kind of a Steiner is not wrong then it is not cryonics.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a Steiner then it is not cryonics. ; $context$ = sent1: there exists something such that if that it is a kind of a astraphobia hold then it is not a radical. sent2: there is something such that if it is not a smother it does not housekeep echo. sent3: there is something such that if it is a Leiophyllum then it is not artiodactyl. sent4: there is something such that if it is not a kind of a Steiner the fact that it is not cryonics is not true. sent5: if the bottle is not a symbolist it is a kind of a disruption. sent6: the fact that if something is a Steiner it is non-cryonics is correct. sent7: if the cervix does catabolize it is not cryonics. sent8: if something is not a Steiner it is not non-cryonics. sent9: if something is not a Steiner that it is not cryonics hold. ; $proof$ = 
sent9 -> int1: if that the tidbit is not a kind of a Steiner is not wrong then it is not cryonics.; int1 -> hypothesis; __PROVED__