the hippoboscid is a moonlighter.
sent1: That the cornea does circularize boarder hold. sent2: if the hippoboscid is not yeasty then that it does not circularize cornea is right. sent3: that the boarder does circularize cornea hold. sent4: if the hippoboscid is not a moonlighter then it is not yeasty. sent5: the hippoboscid does not contain and is a platy.
void -> assump1: Let's assume that the hippoboscid is not a kind of a moonlighter.; sent4 & assump1 -> int1: the hippoboscid is not yeasty.; sent5 -> int2: the hippoboscid does not contain.; int1 & int2 -> int3: the hippoboscid is not yeasty and does not contain.;
$hypothesis$ = the hippoboscid is a moonlighter. ; $context$ = sent1: That the cornea does circularize boarder hold. sent2: if the hippoboscid is not yeasty then that it does not circularize cornea is right. sent3: that the boarder does circularize cornea hold. sent4: if the hippoboscid is not a moonlighter then it is not yeasty. sent5: the hippoboscid does not contain and is a platy. ; $proof$ = 
void -> assump1: Let's assume that the hippoboscid is not a kind of a moonlighter.; sent4 & assump1 -> int1: the hippoboscid is not yeasty.; sent5 -> int2: the hippoboscid does not contain.; int1 & int2 -> int3: the hippoboscid is not yeasty and does not contain.; __UNKNOWN__