the hypha is poetics.
sent1: the goldfields is bibliotics if it does not braid unwariness. sent2: something that is not bibliotics is scorbutic. sent3: if the implant is poetics then the hypha is scorbutic. sent4: something is poetics if it does not citify Coleonyx. sent5: if that something is poetics and is bibliotics does not hold then it is not poetics. sent6: if the hypha is scorbutic then the implant is poetics. sent7: the hypha is poetics if the fact that the implant is scorbutic hold.
sent2 -> int1: if the implant is not bibliotics it is scorbutic.;
the hypha is non-poetics.
sent5 -> int2: the hypha is not poetics if that it is both poetics and bibliotics is not true.;
$hypothesis$ = the hypha is poetics. ; $context$ = sent1: the goldfields is bibliotics if it does not braid unwariness. sent2: something that is not bibliotics is scorbutic. sent3: if the implant is poetics then the hypha is scorbutic. sent4: something is poetics if it does not citify Coleonyx. sent5: if that something is poetics and is bibliotics does not hold then it is not poetics. sent6: if the hypha is scorbutic then the implant is poetics. sent7: the hypha is poetics if the fact that the implant is scorbutic hold. ; $proof$ = 
sent2 -> int1: if the implant is not bibliotics it is scorbutic.; __UNKNOWN__