there is something such that if it is not belemnitic then it does differ.
sent1: if something is not a kind of a chicken then it is a brodiaea. sent2: there is something such that if it is belemnitic it differs. sent3: if the fact that the claro is belemnitic is right it does differ. sent4: the claro hogs penny if it is not belemnitic and/or it is a Maryland. sent5: the bentonite does not hog penny. sent6: either the claro is belemnitic or it is a Maryland or both. sent7: the claro is a Maryland.
void -> assump1: Let's assume that the claro is not belemnitic.; assump1 -> int1: the claro is not belemnitic and/or is a Maryland.; int1 & sent4 -> int2: the claro does hog penny.;
there exists something such that if it is not a kind of a chicken then it is a brodiaea.
sent1 -> int3: if the claro is not a kind of a chicken it is a brodiaea.; int3 -> hypothesis;
$hypothesis$ = there is something such that if it is not belemnitic then it does differ. ; $context$ = sent1: if something is not a kind of a chicken then it is a brodiaea. sent2: there is something such that if it is belemnitic it differs. sent3: if the fact that the claro is belemnitic is right it does differ. sent4: the claro hogs penny if it is not belemnitic and/or it is a Maryland. sent5: the bentonite does not hog penny. sent6: either the claro is belemnitic or it is a Maryland or both. sent7: the claro is a Maryland. ; $proof$ = 
void -> assump1: Let's assume that the claro is not belemnitic.; assump1 -> int1: the claro is not belemnitic and/or is a Maryland.; int1 & sent4 -> int2: the claro does hog penny.; __UNKNOWN__