if the oxidation-reduction is immunotherapeutic then the crutch is an outskirts.
sent1: the oxidation-reduction is not an outskirts. sent2: the fact that the crutch subtilizes elytron hold if something is both not an outskirts and immunotherapeutic. sent3: there is something such that it is immunotherapeutic. sent4: something does not steady. sent5: the Chuvash is an outskirts. sent6: the oxidation-reduction is not a kind of a silk but it does appropriate lecture. sent7: the dideoxyinosine is non-immunotherapeutic. sent8: the crutch is steadying. sent9: the oxidation-reduction is non-steadying thing that does not subtilize elytron. sent10: if the oxidation-reduction does subtilize elytron then the crutch is not non-immunotherapeutic. sent11: something is steadying and it is immunotherapeutic. sent12: the oxidation-reduction is immunotherapeutic if there is something such that it does not subtilize elytron and it is not non-steadying. sent13: the oxidation-reduction does not subtilize elytron. sent14: something does not subtilize elytron but it is a kind of an outskirts.
sent9 -> int1: the oxidation-reduction is not steadying.; void -> assump1: Let's assume that the fact that the oxidation-reduction is immunotherapeutic hold.; int1 & assump1 -> int2: the oxidation-reduction is a kind of non-steadying thing that is immunotherapeutic.; int2 -> int3: there is something such that it does not steady and it is immunotherapeutic.;
$hypothesis$ = if the oxidation-reduction is immunotherapeutic then the crutch is an outskirts. ; $context$ = sent1: the oxidation-reduction is not an outskirts. sent2: the fact that the crutch subtilizes elytron hold if something is both not an outskirts and immunotherapeutic. sent3: there is something such that it is immunotherapeutic. sent4: something does not steady. sent5: the Chuvash is an outskirts. sent6: the oxidation-reduction is not a kind of a silk but it does appropriate lecture. sent7: the dideoxyinosine is non-immunotherapeutic. sent8: the crutch is steadying. sent9: the oxidation-reduction is non-steadying thing that does not subtilize elytron. sent10: if the oxidation-reduction does subtilize elytron then the crutch is not non-immunotherapeutic. sent11: something is steadying and it is immunotherapeutic. sent12: the oxidation-reduction is immunotherapeutic if there is something such that it does not subtilize elytron and it is not non-steadying. sent13: the oxidation-reduction does not subtilize elytron. sent14: something does not subtilize elytron but it is a kind of an outskirts. ; $proof$ = 
sent9 -> int1: the oxidation-reduction is not steadying.; void -> assump1: Let's assume that the fact that the oxidation-reduction is immunotherapeutic hold.; int1 & assump1 -> int2: the oxidation-reduction is a kind of non-steadying thing that is immunotherapeutic.; int2 -> int3: there is something such that it does not steady and it is immunotherapeutic.; __UNKNOWN__