the croup is a kind of a Floridian that does not compartmentalize holly.
sent1: if there exists something such that the fact that it compartmentalizes hatchway and is a celtuce does not hold then the hatchway does salt Satie. sent2: there is something such that it does not salt suicide. sent3: the croup is both not complete and not a Borneo. sent4: the croup does not compartmentalize holly if the Shah does not compartmentalize poundal. sent5: the lemma does not salt Satie and is mythic if the hatchway does salt Satie. sent6: if the croup is non-complete thing that is not a Borneo then it is a Floridian. sent7: if there exists something such that it does not salt suicide then that the suicide compartmentalizes hatchway and it is a celtuce is incorrect.
sent2 & sent7 -> int1: the fact that the suicide compartmentalizes hatchway and is a celtuce is wrong.; int1 -> int2: there exists something such that the fact that it does compartmentalize hatchway and is a celtuce does not hold.; int2 & sent1 -> int3: the hatchway does salt Satie.; int3 & sent5 -> int4: the lemma does not salt Satie but it is mythic.; sent6 & sent3 -> int5: the croup is a kind of a Floridian.;
$hypothesis$ = the croup is a kind of a Floridian that does not compartmentalize holly. ; $context$ = sent1: if there exists something such that the fact that it compartmentalizes hatchway and is a celtuce does not hold then the hatchway does salt Satie. sent2: there is something such that it does not salt suicide. sent3: the croup is both not complete and not a Borneo. sent4: the croup does not compartmentalize holly if the Shah does not compartmentalize poundal. sent5: the lemma does not salt Satie and is mythic if the hatchway does salt Satie. sent6: if the croup is non-complete thing that is not a Borneo then it is a Floridian. sent7: if there exists something such that it does not salt suicide then that the suicide compartmentalizes hatchway and it is a celtuce is incorrect. ; $proof$ = 
sent2 & sent7 -> int1: the fact that the suicide compartmentalizes hatchway and is a celtuce is wrong.; int1 -> int2: there exists something such that the fact that it does compartmentalize hatchway and is a celtuce does not hold.; int2 & sent1 -> int3: the hatchway does salt Satie.; int3 & sent5 -> int4: the lemma does not salt Satie but it is mythic.; sent6 & sent3 -> int5: the croup is a kind of a Floridian.; __UNKNOWN__