the eyelid is magnetic.
sent1: the eyelid is not asleep if there is something such that it is not a kind of a hospitalization. sent2: if something is not asleep then it impedes hairdo and it is digestible. sent3: if something does not perseverate coprolite it is not digestible. sent4: there exists something such that that the fact that it is civil and it is a kind of a hospitalization is true is wrong. sent5: if that something perseverates coprolite and it does suggest Gambia is false then it is not digestible. sent6: the eyelid impedes hairdo. sent7: if the Cologne is not asleep the vitrification is digestible and does not impede hairdo. sent8: if something is not magnetic the fact that it does perseverate coprolite and it does suggest Gambia is false.
sent8 -> int1: if the eyelid is not magnetic then the fact that it does perseverate coprolite and it does suggest Gambia is wrong.; void -> assump1: Let's assume that the eyelid is not magnetic.; int1 & assump1 -> int2: the fact that the eyelid does perseverate coprolite and it does suggest Gambia is incorrect.; sent5 -> int3: if that the eyelid does perseverate coprolite and it does suggest Gambia is not right then it is not digestible.; int2 & int3 -> int4: the eyelid is not digestible.; sent2 -> int5: the eyelid impedes hairdo and is digestible if it is not asleep.;
the eyelid is not magnetic.
$hypothesis$ = the eyelid is magnetic. ; $context$ = sent1: the eyelid is not asleep if there is something such that it is not a kind of a hospitalization. sent2: if something is not asleep then it impedes hairdo and it is digestible. sent3: if something does not perseverate coprolite it is not digestible. sent4: there exists something such that that the fact that it is civil and it is a kind of a hospitalization is true is wrong. sent5: if that something perseverates coprolite and it does suggest Gambia is false then it is not digestible. sent6: the eyelid impedes hairdo. sent7: if the Cologne is not asleep the vitrification is digestible and does not impede hairdo. sent8: if something is not magnetic the fact that it does perseverate coprolite and it does suggest Gambia is false. ; $proof$ = 
sent8 -> int1: if the eyelid is not magnetic then the fact that it does perseverate coprolite and it does suggest Gambia is wrong.; void -> assump1: Let's assume that the eyelid is not magnetic.; int1 & assump1 -> int2: the fact that the eyelid does perseverate coprolite and it does suggest Gambia is incorrect.; sent5 -> int3: if that the eyelid does perseverate coprolite and it does suggest Gambia is not right then it is not digestible.; int2 & int3 -> int4: the eyelid is not digestible.; sent2 -> int5: the eyelid impedes hairdo and is digestible if it is not asleep.; __UNKNOWN__