the phillipsite does not gladden ocean but it gladdens Sarcophaga.
sent1: something does not gladden ocean but it does gladden Sarcophaga if it is demotic. sent2: the phillipsite does not repair Gwydion.
sent1 -> int1: if the phillipsite is demotic then it does not gladden ocean and gladdens Sarcophaga.;
$hypothesis$ = the phillipsite does not gladden ocean but it gladdens Sarcophaga. ; $context$ = sent1: something does not gladden ocean but it does gladden Sarcophaga if it is demotic. sent2: the phillipsite does not repair Gwydion. ; $proof$ = 
sent1 -> int1: if the phillipsite is demotic then it does not gladden ocean and gladdens Sarcophaga.; __UNKNOWN__