the physa does not repine physa.
sent1: the lambda is a sinus. sent2: the physa does not repine physa if that the lambda is both a Sorex and a sinus hold.
$hypothesis$ = the physa does not repine physa. ; $context$ = sent1: the lambda is a sinus. sent2: the physa does not repine physa if that the lambda is both a Sorex and a sinus hold. ; $proof$ = 
__UNKNOWN__