the roulade does not slug gamin.
sent1: that the amethyst is not deflationary and it is not a kind of a babble does not hold. sent2: that the amethyst does slug gamin but it is not deflationary does not hold if the fact that it is not mechanical hold. sent3: the roulade is not mechanical. sent4: if that something is not unresentful and is not a kind of an observation is incorrect then it is a design. sent5: the amethyst is not deflationary and it is not a babble if it is not a Tetragonurus. sent6: if the roulade slugs gamin and designs the fact that the amethyst is not a Tetragonurus is not incorrect. sent7: the roulade is not a Tetragonurus. sent8: if the roulade is not mechanical then the fact that it is resentful and not an observation does not hold. sent9: if the fact that the roulade is not a Tetragonurus and is not unresentful does not hold it is a design.
sent4 -> int1: if the fact that the roulade is not unresentful and is not an observation is not true then it is a design.; sent8 & sent3 -> int2: that the roulade is both not unresentful and not an observation does not hold.; int1 & int2 -> int3: the roulade designs.; void -> assump1: Let's assume that the roulade does slug gamin.; int3 & assump1 -> int4: that the roulade does slug gamin and designs is not incorrect.; int4 & sent6 -> int5: that the amethyst is not a kind of a Tetragonurus is correct.; int5 & sent5 -> int6: the amethyst is not deflationary and it is not a kind of a babble.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the roulade does not slug gamin. ; $context$ = sent1: that the amethyst is not deflationary and it is not a kind of a babble does not hold. sent2: that the amethyst does slug gamin but it is not deflationary does not hold if the fact that it is not mechanical hold. sent3: the roulade is not mechanical. sent4: if that something is not unresentful and is not a kind of an observation is incorrect then it is a design. sent5: the amethyst is not deflationary and it is not a babble if it is not a Tetragonurus. sent6: if the roulade slugs gamin and designs the fact that the amethyst is not a Tetragonurus is not incorrect. sent7: the roulade is not a Tetragonurus. sent8: if the roulade is not mechanical then the fact that it is resentful and not an observation does not hold. sent9: if the fact that the roulade is not a Tetragonurus and is not unresentful does not hold it is a design. ; $proof$ = 
sent4 -> int1: if the fact that the roulade is not unresentful and is not an observation is not true then it is a design.; sent8 & sent3 -> int2: that the roulade is both not unresentful and not an observation does not hold.; int1 & int2 -> int3: the roulade designs.; void -> assump1: Let's assume that the roulade does slug gamin.; int3 & assump1 -> int4: that the roulade does slug gamin and designs is not incorrect.; int4 & sent6 -> int5: that the amethyst is not a kind of a Tetragonurus is correct.; int5 & sent5 -> int6: the amethyst is not deflationary and it is not a kind of a babble.; int6 & sent1 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__