the sunlamp does not draw Eck.
sent1: a lexicostatistics thing is a hire. sent2: that the snowberry is not non-mammalian is right. sent3: if the snowberry is mammalian then that the announcer reflectorizes beaming and is not a kind of a spindrift does not hold. sent4: that the snowberry is Athenian and not crucial is not false. sent5: the sunlamp does not draw Eck if there exists something such that it is a kind of a laurel-tree and it is a metallurgy. sent6: the announcer is lexicostatistics if it is not an oral. sent7: the announcer is forgettable but it is not an oral if the stopcock is not counterterror. sent8: if that the announcer does reflectorize beaming and is not a spindrift does not hold then it is a kind of a metallurgy. sent9: the announcer does draw Eck if it is a spindrift. sent10: if something is a hire it is a laurel-tree.
sent1 -> int1: the announcer is a hire if it is lexicostatistics.; sent10 -> int2: the announcer is a laurel-tree if it hires.; sent3 & sent2 -> int3: the fact that the announcer does reflectorize beaming and is not a spindrift is not true.; sent8 & int3 -> int4: the announcer is a metallurgy.;
$hypothesis$ = the sunlamp does not draw Eck. ; $context$ = sent1: a lexicostatistics thing is a hire. sent2: that the snowberry is not non-mammalian is right. sent3: if the snowberry is mammalian then that the announcer reflectorizes beaming and is not a kind of a spindrift does not hold. sent4: that the snowberry is Athenian and not crucial is not false. sent5: the sunlamp does not draw Eck if there exists something such that it is a kind of a laurel-tree and it is a metallurgy. sent6: the announcer is lexicostatistics if it is not an oral. sent7: the announcer is forgettable but it is not an oral if the stopcock is not counterterror. sent8: if that the announcer does reflectorize beaming and is not a spindrift does not hold then it is a kind of a metallurgy. sent9: the announcer does draw Eck if it is a spindrift. sent10: if something is a hire it is a laurel-tree. ; $proof$ = 
sent1 -> int1: the announcer is a hire if it is lexicostatistics.; sent10 -> int2: the announcer is a laurel-tree if it hires.; sent3 & sent2 -> int3: the fact that the announcer does reflectorize beaming and is not a spindrift is not true.; sent8 & int3 -> int4: the announcer is a metallurgy.; __UNKNOWN__