the gravel is not a kind of a pan.
sent1: The Epirus hefts coccyx. sent2: the coccyx hefts Epirus. sent3: the gravel is not a pan if something that excels sportscaster is phlegmy. sent4: the coccyx is phlegmy if it hefts Epirus. sent5: the employee is forgetful.
sent4 & sent2 -> int1: the coccyx is phlegmy.;
$hypothesis$ = the gravel is not a kind of a pan. ; $context$ = sent1: The Epirus hefts coccyx. sent2: the coccyx hefts Epirus. sent3: the gravel is not a pan if something that excels sportscaster is phlegmy. sent4: the coccyx is phlegmy if it hefts Epirus. sent5: the employee is forgetful. ; $proof$ = 
sent4 & sent2 -> int1: the coccyx is phlegmy.; __UNKNOWN__