the adenine is a kind of penetrable thing that is nonexempt.
sent1: the adenine is not impenetrable and is nonexempt if the candlenut snags fug. sent2: if the adenine does distance then the candlenut is not impenetrable but it is chlorotic. sent3: the fact that the candlenut is not chlorotic if the candlenut is not a kind of a distance is not false. sent4: something snags fug if it is not chlorotic.
sent4 -> int1: the fact that the candlenut snags fug if the candlenut is not chlorotic is not false.;
$hypothesis$ = the adenine is a kind of penetrable thing that is nonexempt. ; $context$ = sent1: the adenine is not impenetrable and is nonexempt if the candlenut snags fug. sent2: if the adenine does distance then the candlenut is not impenetrable but it is chlorotic. sent3: the fact that the candlenut is not chlorotic if the candlenut is not a kind of a distance is not false. sent4: something snags fug if it is not chlorotic. ; $proof$ = 
sent4 -> int1: the fact that the candlenut snags fug if the candlenut is not chlorotic is not false.; __UNKNOWN__