if the good-king-henry is a toff then the high is immunotherapeutic.
sent1: there exists something such that it is not chalybeate. sent2: the high is not non-immunotherapeutic if there exists something such that it is chalybeate. sent3: if there exists something such that the fact that the fact that it is not chalybeate and it deflowers Ocyurus hold does not hold the high is immunotherapeutic. sent4: the good-king-henry is non-radical and is a kind of a macromolecule. sent5: something is not a toff but it is immunotherapeutic. sent6: if something is not caulescent it does not ignore stemmed and is not immunotherapeutic. sent7: the eschatologist is not a kind of a toff if the good-king-henry does not ignore stemmed and is not immunotherapeutic. sent8: the fact that the Baedeker is chalybeate and it deflowers Ocyurus does not hold. sent9: if something is not a kind of a toff the fact that it is a kind of non-humanist a boatbill does not hold. sent10: if a non-chalybeate thing deflowers Ocyurus then that the good-king-henry is not a kind of a toff is correct. sent11: the Baedeker is non-chalybeate. sent12: the good-king-henry is a kind of a toff if something is non-chalybeate and deflowers Ocyurus. sent13: the good-king-henry is not a toff if there is something such that it is chalybeate and it does deflower Ocyurus. sent14: there exists something such that the fact that it is chalybeate and it deflowers Ocyurus is wrong.
void -> assump2: Let's assume that the good-king-henry is a kind of a toff.; void -> assump1: Let's assume that that the Baedeker is non-chalybeate thing that does deflower Ocyurus is not false.; assump1 -> int1: the fact that there is something such that the fact that it is not chalybeate and does deflower Ocyurus is not wrong is not incorrect.; int1 & sent10 -> int2: the good-king-henry is not a kind of a toff.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Baedeker is not chalybeate and deflowers Ocyurus is false.; int4 -> int5: there exists something such that that it is not chalybeate and it does deflower Ocyurus is not true.; int5 & sent3 -> int6: the high is immunotherapeutic.; [assump2] & int6 -> hypothesis;
that the eschatologist is not a kind of a humanist but it is a kind of a boatbill is not true.
sent9 -> int7: that the eschatologist is not humanist and is a boatbill is not right if the fact that it is not a kind of a toff is true.; sent6 -> int8: if the good-king-henry is not caulescent then it does not ignore stemmed and it is not immunotherapeutic.;
$hypothesis$ = if the good-king-henry is a toff then the high is immunotherapeutic. ; $context$ = sent1: there exists something such that it is not chalybeate. sent2: the high is not non-immunotherapeutic if there exists something such that it is chalybeate. sent3: if there exists something such that the fact that the fact that it is not chalybeate and it deflowers Ocyurus hold does not hold the high is immunotherapeutic. sent4: the good-king-henry is non-radical and is a kind of a macromolecule. sent5: something is not a toff but it is immunotherapeutic. sent6: if something is not caulescent it does not ignore stemmed and is not immunotherapeutic. sent7: the eschatologist is not a kind of a toff if the good-king-henry does not ignore stemmed and is not immunotherapeutic. sent8: the fact that the Baedeker is chalybeate and it deflowers Ocyurus does not hold. sent9: if something is not a kind of a toff the fact that it is a kind of non-humanist a boatbill does not hold. sent10: if a non-chalybeate thing deflowers Ocyurus then that the good-king-henry is not a kind of a toff is correct. sent11: the Baedeker is non-chalybeate. sent12: the good-king-henry is a kind of a toff if something is non-chalybeate and deflowers Ocyurus. sent13: the good-king-henry is not a toff if there is something such that it is chalybeate and it does deflower Ocyurus. sent14: there exists something such that the fact that it is chalybeate and it deflowers Ocyurus is wrong. ; $proof$ = 
void -> assump2: Let's assume that the good-king-henry is a kind of a toff.; void -> assump1: Let's assume that that the Baedeker is non-chalybeate thing that does deflower Ocyurus is not false.; assump1 -> int1: the fact that there is something such that the fact that it is not chalybeate and does deflower Ocyurus is not wrong is not incorrect.; int1 & sent10 -> int2: the good-king-henry is not a kind of a toff.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Baedeker is not chalybeate and deflowers Ocyurus is false.; int4 -> int5: there exists something such that that it is not chalybeate and it does deflower Ocyurus is not true.; int5 & sent3 -> int6: the high is immunotherapeutic.; [assump2] & int6 -> hypothesis; __PROVED__