the remedy desecrates gram.
sent1: the gentianella is lacustrine if there exists something such that the fact that it is a kind of non-lacustrine a cloudlessness does not hold. sent2: there is something such that that it is a kind of non-dermal thing that untunes hunk is false. sent3: if the diva does not desecrate mythologization then the remedy does not desecrate gram but it does untune argon. sent4: the fact that something does not desecrate gram and it does not desecrate mythologization does not hold if that it is not an outrigger is right. sent5: if something is lacustrine then it is an outrigger. sent6: the diva is a kind of a scrambler that does not shorten if it desecrates mythologization. sent7: the fact that the fact that the Semite is non-lacustrine thing that is a cloudlessness is not right hold. sent8: something does debar gentianella and it does debar Streptosolen. sent9: something does desecrate mythologization if the fact that it does not desecrate gram and it does not desecrate mythologization is not right. sent10: the gentianella is not an outrigger if a scrambler does not shorten. sent11: that something is both not amphoric and a maenad is false if it does desecrate mythologization.
void -> assump1: Let's assume that the diva does desecrate mythologization.; sent6 & assump1 -> int1: the diva is a scrambler and does not shorten.; int1 -> int2: something scrambles but it does not shorten.; int2 & sent10 -> int3: the gentianella is not an outrigger.; sent5 -> int4: the gentianella is an outrigger if it is lacustrine.; sent7 -> int5: there is something such that that it is both non-lacustrine and a cloudlessness does not hold.; int5 & sent1 -> int6: the gentianella is lacustrine.; int4 & int6 -> int7: the gentianella is an outrigger.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the diva does not desecrate mythologization.; int9 & sent3 -> int10: the remedy does not desecrate gram but it untunes argon.; int10 -> hypothesis;
there is something such that that it is not amphoric and it is a kind of a maenad is not right.
sent9 -> int11: the gentianella does desecrate mythologization if that it does not desecrate gram and it does not desecrate mythologization is not right.; sent4 -> int12: if the remedy is not an outrigger the fact that it does not desecrate gram and it does not desecrate mythologization is incorrect.; sent11 -> int13: the fact that the gentianella is a kind of non-amphoric a maenad is not correct if it does desecrate mythologization.;
$hypothesis$ = the remedy desecrates gram. ; $context$ = sent1: the gentianella is lacustrine if there exists something such that the fact that it is a kind of non-lacustrine a cloudlessness does not hold. sent2: there is something such that that it is a kind of non-dermal thing that untunes hunk is false. sent3: if the diva does not desecrate mythologization then the remedy does not desecrate gram but it does untune argon. sent4: the fact that something does not desecrate gram and it does not desecrate mythologization does not hold if that it is not an outrigger is right. sent5: if something is lacustrine then it is an outrigger. sent6: the diva is a kind of a scrambler that does not shorten if it desecrates mythologization. sent7: the fact that the fact that the Semite is non-lacustrine thing that is a cloudlessness is not right hold. sent8: something does debar gentianella and it does debar Streptosolen. sent9: something does desecrate mythologization if the fact that it does not desecrate gram and it does not desecrate mythologization is not right. sent10: the gentianella is not an outrigger if a scrambler does not shorten. sent11: that something is both not amphoric and a maenad is false if it does desecrate mythologization. ; $proof$ = 
void -> assump1: Let's assume that the diva does desecrate mythologization.; sent6 & assump1 -> int1: the diva is a scrambler and does not shorten.; int1 -> int2: something scrambles but it does not shorten.; int2 & sent10 -> int3: the gentianella is not an outrigger.; sent5 -> int4: the gentianella is an outrigger if it is lacustrine.; sent7 -> int5: there is something such that that it is both non-lacustrine and a cloudlessness does not hold.; int5 & sent1 -> int6: the gentianella is lacustrine.; int4 & int6 -> int7: the gentianella is an outrigger.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the diva does not desecrate mythologization.; int9 & sent3 -> int10: the remedy does not desecrate gram but it untunes argon.; int10 -> hypothesis; __DISPROVED__