there is something such that if it is unsurmountable then it is both not a vitamin and not a SCID.
sent1: there is something such that if it is felicitous then it is not a technobabble. sent2: the porkholt is not a SCID if it is unsurmountable. sent3: if something is unsurmountable then that it is a kind of a vitamin that is not a kind of a SCID hold. sent4: there is something such that if it does curvet Iapetus it is a consignee that is not optical.
$hypothesis$ = there is something such that if it is unsurmountable then it is both not a vitamin and not a SCID. ; $context$ = sent1: there is something such that if it is felicitous then it is not a technobabble. sent2: the porkholt is not a SCID if it is unsurmountable. sent3: if something is unsurmountable then that it is a kind of a vitamin that is not a kind of a SCID hold. sent4: there is something such that if it does curvet Iapetus it is a consignee that is not optical. ; $proof$ = 
__UNKNOWN__