the pinecone is both not cathodic and not immaterial if the gipsywort is unfree.
sent1: if the gipsywort is unfree the pinecone is not cathodic but it is immaterial. sent2: the pinecone is not immaterial and it is not cathodic if the gipsywort is cathodic. sent3: if the pinecone is unfree that it is immaterial is not false. sent4: the pinecone is not cathodic. sent5: if the gipsywort is immaterial the pinecone is not cathodic but it is immaterial. sent6: the gipsywort is immaterial if it is unfree. sent7: if the gipsywort is cathodic the pinecone is both not immaterial and free. sent8: the pinecone is not cathodic but it is immaterial. sent9: the fingerling is not unfree and it is not immaterial if the pinecone is immaterial. sent10: the pinecone is not unfree and is not cathodic if the gipsywort is cathodic. sent11: the pinecone is a tetrapod. sent12: if the pinecone is cathodic then the gipsywort is both non-immaterial and cathodic. sent13: the pinecone is not cathodic if that the gipsywort is unfree is not incorrect. sent14: the pinecone is unfree. sent15: the gipsywort is a Bessemer. sent16: if the gipsywort is immaterial then the pinecone is not cathodic.
void -> assump1: Let's assume that the gipsywort is unfree.; sent6 & assump1 -> int1: the gipsywort is immaterial.;
$hypothesis$ = the pinecone is both not cathodic and not immaterial if the gipsywort is unfree. ; $context$ = sent1: if the gipsywort is unfree the pinecone is not cathodic but it is immaterial. sent2: the pinecone is not immaterial and it is not cathodic if the gipsywort is cathodic. sent3: if the pinecone is unfree that it is immaterial is not false. sent4: the pinecone is not cathodic. sent5: if the gipsywort is immaterial the pinecone is not cathodic but it is immaterial. sent6: the gipsywort is immaterial if it is unfree. sent7: if the gipsywort is cathodic the pinecone is both not immaterial and free. sent8: the pinecone is not cathodic but it is immaterial. sent9: the fingerling is not unfree and it is not immaterial if the pinecone is immaterial. sent10: the pinecone is not unfree and is not cathodic if the gipsywort is cathodic. sent11: the pinecone is a tetrapod. sent12: if the pinecone is cathodic then the gipsywort is both non-immaterial and cathodic. sent13: the pinecone is not cathodic if that the gipsywort is unfree is not incorrect. sent14: the pinecone is unfree. sent15: the gipsywort is a Bessemer. sent16: if the gipsywort is immaterial then the pinecone is not cathodic. ; $proof$ = 
void -> assump1: Let's assume that the gipsywort is unfree.; sent6 & assump1 -> int1: the gipsywort is immaterial.; __UNKNOWN__