there is something such that if it is calcitic it is not gutsy or not a horse-pistol or both.
sent1: either the psilophyton is not gutsy or it is a kind of a horse-pistol or both. sent2: something is not gutsy or it is not a horse-pistol or both if it is orthotropous. sent3: something is gutsy and/or it is not a horse-pistol if it is orthotropous. sent4: there exists something such that if it is calcitic then it either is gutsy or is not a horse-pistol or both. sent5: there exists something such that if it is calcitic then it is not gutsy and/or it is a horse-pistol. sent6: something is gutsy if it is calcitic.
void -> assump1: Let's assume that the psilophyton is calcitic.; sent2 -> int1: the psilophyton is not gutsy or it is not a horse-pistol or both if the fact that it is orthotropous is correct.;
the lespedeza is gutsy.
sent6 -> int2: if the lespedeza is calcitic then it is gutsy.;
$hypothesis$ = there is something such that if it is calcitic it is not gutsy or not a horse-pistol or both. ; $context$ = sent1: either the psilophyton is not gutsy or it is a kind of a horse-pistol or both. sent2: something is not gutsy or it is not a horse-pistol or both if it is orthotropous. sent3: something is gutsy and/or it is not a horse-pistol if it is orthotropous. sent4: there exists something such that if it is calcitic then it either is gutsy or is not a horse-pistol or both. sent5: there exists something such that if it is calcitic then it is not gutsy and/or it is a horse-pistol. sent6: something is gutsy if it is calcitic. ; $proof$ = 
void -> assump1: Let's assume that the psilophyton is calcitic.; sent2 -> int1: the psilophyton is not gutsy or it is not a horse-pistol or both if the fact that it is orthotropous is correct.; __UNKNOWN__