the bicycle-built-for-two is not a Shahaptian.
sent1: if something is not an eyestrain then the bicycle-built-for-two encircles partsong. sent2: the graver is not a kind of a Shahaptian. sent3: there exists something such that it is not an eyestrain. sent4: there exists something such that it is a kind of an eyestrain. sent5: the bicycle-built-for-two does encircle partsong.
$hypothesis$ = the bicycle-built-for-two is not a Shahaptian. ; $context$ = sent1: if something is not an eyestrain then the bicycle-built-for-two encircles partsong. sent2: the graver is not a kind of a Shahaptian. sent3: there exists something such that it is not an eyestrain. sent4: there exists something such that it is a kind of an eyestrain. sent5: the bicycle-built-for-two does encircle partsong. ; $proof$ = 
__UNKNOWN__