the gorget is ectomorphic.
sent1: the spermatophyte does nail schottische if there is something such that the fact that it does not nail right-hander and does not tool mole is incorrect. sent2: if there is something such that it does nail right-hander then the spermatophyte does nail schottische. sent3: there is something such that it does not nail right-hander and does not tool mole. sent4: there is something such that that it does not nail right-hander and tools mole is not correct. sent5: if the fact that the gorget is anal is true it does tool tilde. sent6: if the spermatophyte is non-ectomorphic thing that does not nail schottische the fact that the gorget is ectomorphic does not hold. sent7: if the gorget does tool tilde it is ectomorphic. sent8: there is something such that that it nails right-hander and it does not tool mole is not correct. sent9: there is something such that the fact that it does not nail right-hander and it does not tool mole is not true.
sent9 & sent1 -> int1: the spermatophyte nails schottische.;
the gorget is not ectomorphic.
$hypothesis$ = the gorget is ectomorphic. ; $context$ = sent1: the spermatophyte does nail schottische if there is something such that the fact that it does not nail right-hander and does not tool mole is incorrect. sent2: if there is something such that it does nail right-hander then the spermatophyte does nail schottische. sent3: there is something such that it does not nail right-hander and does not tool mole. sent4: there is something such that that it does not nail right-hander and tools mole is not correct. sent5: if the fact that the gorget is anal is true it does tool tilde. sent6: if the spermatophyte is non-ectomorphic thing that does not nail schottische the fact that the gorget is ectomorphic does not hold. sent7: if the gorget does tool tilde it is ectomorphic. sent8: there is something such that that it nails right-hander and it does not tool mole is not correct. sent9: there is something such that the fact that it does not nail right-hander and it does not tool mole is not true. ; $proof$ = 
sent9 & sent1 -> int1: the spermatophyte nails schottische.; __UNKNOWN__