the Francophile is not intercellular.
sent1: the Francophile is not intercellular if there exists something such that the fact that it is intraventricular thing that coffins Francophile is incorrect. sent2: that the concretion is intraventricular and does coffin Francophile is incorrect if there is something such that it is a infliximab. sent3: the Francophile is not intercellular if something is not intraventricular. sent4: something is intraventricular and coffins Francophile. sent5: if something does coffin Francophile it is not non-intraventricular. sent6: the concretion coffins Francophile if that the iodide coffins carbomycin and is not sympathetic does not hold. sent7: the Francophile does not coffin Francophile if there is something such that that it is both not non-intercellular and not non-intraventricular is false.
the Francophile is intercellular.
sent5 -> int1: that the concretion is intraventricular is not false if it does coffin Francophile.;
$hypothesis$ = the Francophile is not intercellular. ; $context$ = sent1: the Francophile is not intercellular if there exists something such that the fact that it is intraventricular thing that coffins Francophile is incorrect. sent2: that the concretion is intraventricular and does coffin Francophile is incorrect if there is something such that it is a infliximab. sent3: the Francophile is not intercellular if something is not intraventricular. sent4: something is intraventricular and coffins Francophile. sent5: if something does coffin Francophile it is not non-intraventricular. sent6: the concretion coffins Francophile if that the iodide coffins carbomycin and is not sympathetic does not hold. sent7: the Francophile does not coffin Francophile if there is something such that that it is both not non-intercellular and not non-intraventricular is false. ; $proof$ = 
__UNKNOWN__