the display is a Euphrosyne.
sent1: the ornamentation does not enfeoff Faroese and does not seize. sent2: the ornamentation does not seize. sent3: something is a Euphrosyne if it does decrease ornamentation. sent4: the carboxyl decreases Tampico if the ornamentation does not enfeoff Faroese and does seize. sent5: the display decreases ornamentation if the carboxyl does decrease Tampico. sent6: the display does decrease Tampico. sent7: something does not decrease Tampico and does not decrease ornamentation if it is not Jesuitical.
sent3 -> int1: if the display decreases ornamentation it is a Euphrosyne.;
the fact that the display is not a Euphrosyne is not false.
sent7 -> int2: if the ornamentation is not Jesuitical then it does not decrease Tampico and it does not decrease ornamentation.;
$hypothesis$ = the display is a Euphrosyne. ; $context$ = sent1: the ornamentation does not enfeoff Faroese and does not seize. sent2: the ornamentation does not seize. sent3: something is a Euphrosyne if it does decrease ornamentation. sent4: the carboxyl decreases Tampico if the ornamentation does not enfeoff Faroese and does seize. sent5: the display decreases ornamentation if the carboxyl does decrease Tampico. sent6: the display does decrease Tampico. sent7: something does not decrease Tampico and does not decrease ornamentation if it is not Jesuitical. ; $proof$ = 
sent3 -> int1: if the display decreases ornamentation it is a Euphrosyne.; __UNKNOWN__