the scourge is a moon.
sent1: something is a memorial if it does decide. sent2: if the maleo is a memorial and it is a Bernard the lockage is not a Bernard. sent3: if there is something such that that it is not an egalitarianism and is not anthropogenetic is incorrect the damascene is not a memorial. sent4: the scourge does not moon if that it is not a Bernard hold. sent5: the fact that something is not an egalitarianism and not anthropogenetic is wrong if it is a Bernard. sent6: the damascene does decide. sent7: the genet does decide if the damascene is a Bernard.
sent5 -> int1: if the scourge is a Bernard that it is not an egalitarianism and it is not anthropogenetic is not correct.; void -> assump1: Let's assume that the scourge is a kind of a Bernard.; int1 & assump1 -> int2: that the scourge is not an egalitarianism and is non-anthropogenetic is not right.; int2 -> int3: there exists something such that that it is not a kind of an egalitarianism and it is not anthropogenetic is incorrect.; int3 & sent3 -> int4: the damascene is not a kind of a memorial.; sent1 -> int5: if the damascene does decide then it is a memorial.; int5 & sent6 -> int6: the damascene is a memorial.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the scourge is not a Bernard.; int8 & sent4 -> hypothesis;
the genet does decide.
$hypothesis$ = the scourge is a moon. ; $context$ = sent1: something is a memorial if it does decide. sent2: if the maleo is a memorial and it is a Bernard the lockage is not a Bernard. sent3: if there is something such that that it is not an egalitarianism and is not anthropogenetic is incorrect the damascene is not a memorial. sent4: the scourge does not moon if that it is not a Bernard hold. sent5: the fact that something is not an egalitarianism and not anthropogenetic is wrong if it is a Bernard. sent6: the damascene does decide. sent7: the genet does decide if the damascene is a Bernard. ; $proof$ = 
sent5 -> int1: if the scourge is a Bernard that it is not an egalitarianism and it is not anthropogenetic is not correct.; void -> assump1: Let's assume that the scourge is a kind of a Bernard.; int1 & assump1 -> int2: that the scourge is not an egalitarianism and is non-anthropogenetic is not right.; int2 -> int3: there exists something such that that it is not a kind of an egalitarianism and it is not anthropogenetic is incorrect.; int3 & sent3 -> int4: the damascene is not a kind of a memorial.; sent1 -> int5: if the damascene does decide then it is a memorial.; int5 & sent6 -> int6: the damascene is a memorial.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the scourge is not a Bernard.; int8 & sent4 -> hypothesis; __DISPROVED__