the thinker is a kind of a solidity that does quench moon.
sent1: The moon does quench thinker. sent2: the arithmetician is not hymenopterous if it is an ala and enacts suavity. sent3: the gueridon is a Champlain. sent4: if the gueridon is both not hymenopterous and a Champlain then the arithmetician is hymenopterous. sent5: something is non-hymenopterous if it is not an ala and enacts suavity. sent6: the thinker is a solidity if that the arithmetician is not a kind of an ala and enacts suavity is not correct. sent7: the thinker does quench moon.
sent5 -> int1: if the arithmetician is not an ala and does enact suavity it is not hymenopterous.; void -> assump1: Let's assume that the arithmetician is not an ala and does enact suavity.; int1 & assump1 -> int2: the arithmetician is not hymenopterous.;
$hypothesis$ = the thinker is a kind of a solidity that does quench moon. ; $context$ = sent1: The moon does quench thinker. sent2: the arithmetician is not hymenopterous if it is an ala and enacts suavity. sent3: the gueridon is a Champlain. sent4: if the gueridon is both not hymenopterous and a Champlain then the arithmetician is hymenopterous. sent5: something is non-hymenopterous if it is not an ala and enacts suavity. sent6: the thinker is a solidity if that the arithmetician is not a kind of an ala and enacts suavity is not correct. sent7: the thinker does quench moon. ; $proof$ = 
sent5 -> int1: if the arithmetician is not an ala and does enact suavity it is not hymenopterous.; void -> assump1: Let's assume that the arithmetician is not an ala and does enact suavity.; int1 & assump1 -> int2: the arithmetician is not hymenopterous.; __UNKNOWN__