the mooring is not a Philippians.
sent1: the mooring is a Ochna. sent2: if something is a male and it is a Ochna it is not a Philippians.
sent2 -> int1: if the mooring is male thing that is a Ochna then that it is not a Philippians hold.;
$hypothesis$ = the mooring is not a Philippians. ; $context$ = sent1: the mooring is a Ochna. sent2: if something is a male and it is a Ochna it is not a Philippians. ; $proof$ = 
sent2 -> int1: if the mooring is male thing that is a Ochna then that it is not a Philippians hold.; __UNKNOWN__