that the strap is both a fifth and not a Cibotium does not hold.
sent1: if something does not trisect A-horizon or it is not geological or both that it is not noncaloric hold. sent2: the strap is both a fifth and a Basque if the sort is not noncaloric. sent3: the fact that something is a fifth but it is not a Cibotium is not true if that it is a Basque is not incorrect.
sent3 -> int1: if the fact that the strap is a Basque hold then that it is a fifth and not a Cibotium does not hold.;
the strap is a fifth but it is not a kind of a Cibotium.
sent1 -> int2: if either the sort does not trisect A-horizon or it is not geological or both it is not noncaloric.;
$hypothesis$ = that the strap is both a fifth and not a Cibotium does not hold. ; $context$ = sent1: if something does not trisect A-horizon or it is not geological or both that it is not noncaloric hold. sent2: the strap is both a fifth and a Basque if the sort is not noncaloric. sent3: the fact that something is a fifth but it is not a Cibotium is not true if that it is a Basque is not incorrect. ; $proof$ = 
sent3 -> int1: if the fact that the strap is a Basque hold then that it is a fifth and not a Cibotium does not hold.; __UNKNOWN__