there exists something such that it is not illegible.
sent1: if that the ECF rejoices is not false then it is not a kind of a moreen. sent2: the bluecoat does not hyperventilate if something is a satsuma. sent3: something is a kind of a satsuma. sent4: if something is not a moreen the fact that it is not a kind of a falconry or it is not a kind of a Bedouin or both is incorrect. sent5: the fact that the bluecoat does not emblazon equality is true if that the ECF is not a kind of a falconry and/or is not a Bedouin does not hold. sent6: if something does not emblazon equality and does not hyperventilate then the refraction is not illegible. sent7: the bluecoat does not emblazon equality if that the ECF is a kind of a falconry and/or it is not a kind of a Bedouin does not hold.
sent4 -> int1: if the ECF is not a kind of a moreen then the fact that it either is not a falconry or is not a kind of a Bedouin or both is not right.; sent3 & sent2 -> int2: the bluecoat does not hyperventilate.;
$hypothesis$ = there exists something such that it is not illegible. ; $context$ = sent1: if that the ECF rejoices is not false then it is not a kind of a moreen. sent2: the bluecoat does not hyperventilate if something is a satsuma. sent3: something is a kind of a satsuma. sent4: if something is not a moreen the fact that it is not a kind of a falconry or it is not a kind of a Bedouin or both is incorrect. sent5: the fact that the bluecoat does not emblazon equality is true if that the ECF is not a kind of a falconry and/or is not a Bedouin does not hold. sent6: if something does not emblazon equality and does not hyperventilate then the refraction is not illegible. sent7: the bluecoat does not emblazon equality if that the ECF is a kind of a falconry and/or it is not a kind of a Bedouin does not hold. ; $proof$ = 
sent4 -> int1: if the ECF is not a kind of a moreen then the fact that it either is not a falconry or is not a kind of a Bedouin or both is not right.; sent3 & sent2 -> int2: the bluecoat does not hyperventilate.; __UNKNOWN__