the adult is a kind of a Champollion.
sent1: the fact that the adult is a kind of a Champollion if the waldmeister is a drawler is true. sent2: if the belfry is not areolar then the fact that it is a kind of a ping that is not a drawler is incorrect. sent3: if that something is not documentary but it is a Champollion is false it is not a kind of a Champollion. sent4: if something does not glow that it is non-documentary thing that is a kind of a Champollion is not true. sent5: if that the belfry does ping and is not a kind of a drawler does not hold then the adult does not glow. sent6: the belfry is documentary. sent7: the belfry does glow.
sent6 & sent7 -> int1: that the belfry is a kind of a documentary and it glows is true.; int1 -> int2: there is something such that it is documentary and does glow.;
the adult is not a Champollion.
sent3 -> int3: the adult is not a Champollion if that it is not a kind of a documentary and it is a kind of a Champollion is not true.; sent4 -> int4: if the adult is not a kind of a glow the fact that it is a kind of non-documentary thing that is a Champollion does not hold.;
$hypothesis$ = the adult is a kind of a Champollion. ; $context$ = sent1: the fact that the adult is a kind of a Champollion if the waldmeister is a drawler is true. sent2: if the belfry is not areolar then the fact that it is a kind of a ping that is not a drawler is incorrect. sent3: if that something is not documentary but it is a Champollion is false it is not a kind of a Champollion. sent4: if something does not glow that it is non-documentary thing that is a kind of a Champollion is not true. sent5: if that the belfry does ping and is not a kind of a drawler does not hold then the adult does not glow. sent6: the belfry is documentary. sent7: the belfry does glow. ; $proof$ = 
sent6 & sent7 -> int1: that the belfry is a kind of a documentary and it glows is true.; int1 -> int2: there is something such that it is documentary and does glow.; __UNKNOWN__