the gherkin permits terbium if the Kansa is orthographic.
sent1: the moray is orthographic. sent2: the moray permits hideaway. sent3: the Kansa is a kind of a daughter and/or it is not dysphemistic. sent4: the Kansa bumbles moray and/or it is not a daughter if it is orthographic. sent5: the Kansa is a kind of a Borago if the moray is not a daughter. sent6: if the Kansa does not bumble moray and/or it is not a daughter then that the moray is not a kind of a Borago is true. sent7: the gherkin is orthographic. sent8: the Kansa does not bumble moray and/or is a kind of a daughter. sent9: the Kansa does permit terbium. sent10: the gherkin does not permit terbium or is not orthographic or both. sent11: the Kansa does not bumble moray and/or it is a kind of a daughter if it is orthographic. sent12: the Kansa does bumble moray and/or it is not a daughter. sent13: either the Kansa does not bumble moray or it is not a daughter or both if it is orthographic.
void -> assump1: Let's assume that the Kansa is orthographic.; sent13 & assump1 -> int1: either the Kansa does not bumble moray or it is not a daughter or both.; sent6 & int1 -> int2: the moray is not a kind of a Borago.;
$hypothesis$ = the gherkin permits terbium if the Kansa is orthographic. ; $context$ = sent1: the moray is orthographic. sent2: the moray permits hideaway. sent3: the Kansa is a kind of a daughter and/or it is not dysphemistic. sent4: the Kansa bumbles moray and/or it is not a daughter if it is orthographic. sent5: the Kansa is a kind of a Borago if the moray is not a daughter. sent6: if the Kansa does not bumble moray and/or it is not a daughter then that the moray is not a kind of a Borago is true. sent7: the gherkin is orthographic. sent8: the Kansa does not bumble moray and/or is a kind of a daughter. sent9: the Kansa does permit terbium. sent10: the gherkin does not permit terbium or is not orthographic or both. sent11: the Kansa does not bumble moray and/or it is a kind of a daughter if it is orthographic. sent12: the Kansa does bumble moray and/or it is not a daughter. sent13: either the Kansa does not bumble moray or it is not a daughter or both if it is orthographic. ; $proof$ = 
void -> assump1: Let's assume that the Kansa is orthographic.; sent13 & assump1 -> int1: either the Kansa does not bumble moray or it is not a daughter or both.; sent6 & int1 -> int2: the moray is not a kind of a Borago.; __UNKNOWN__