that the bangle does deduce heir-at-law but it is not a kind of a ilium if the conformist is a kind of a lysin is not right.
sent1: something does deduce heir-at-law and is not a ilium. sent2: there is something such that that it does deduce heir-at-law and it is a ilium is false. sent3: the soundbox is not a lisper if there is something such that the fact that it deduces heir-at-law and is not a kind of a ilium does not hold. sent4: if the soundbox does not deduce heir-at-law then the bangle is a lisper. sent5: if the soundbox is not a ilium then the bangle is not a kind of a lisper. sent6: if something is a kind of a ilium the soundbox is not a kind of a lisper. sent7: if the soundbox is not a lisper then the conformist is not a lysin. sent8: the conformist is not a lisper.
void -> assump2: Let's assume that the fact that the bangle does deduce heir-at-law but it is not a ilium is incorrect.; assump2 -> int1: there exists something such that the fact that it deduces heir-at-law and it is not a ilium is wrong.; int1 & sent3 -> int2: the soundbox is not a lisper.; int2 & sent7 -> int3: the conformist is not a kind of a lysin.; void -> assump1: Let's assume that the conformist is a lysin.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the bangle deduces heir-at-law but it is not a ilium.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the bangle does deduce heir-at-law but it is not a kind of a ilium if the conformist is a kind of a lysin is not right. ; $context$ = sent1: something does deduce heir-at-law and is not a ilium. sent2: there is something such that that it does deduce heir-at-law and it is a ilium is false. sent3: the soundbox is not a lisper if there is something such that the fact that it deduces heir-at-law and is not a kind of a ilium does not hold. sent4: if the soundbox does not deduce heir-at-law then the bangle is a lisper. sent5: if the soundbox is not a ilium then the bangle is not a kind of a lisper. sent6: if something is a kind of a ilium the soundbox is not a kind of a lisper. sent7: if the soundbox is not a lisper then the conformist is not a lysin. sent8: the conformist is not a lisper. ; $proof$ = 
void -> assump2: Let's assume that the fact that the bangle does deduce heir-at-law but it is not a ilium is incorrect.; assump2 -> int1: there exists something such that the fact that it deduces heir-at-law and it is not a ilium is wrong.; int1 & sent3 -> int2: the soundbox is not a lisper.; int2 & sent7 -> int3: the conformist is not a kind of a lysin.; void -> assump1: Let's assume that the conformist is a lysin.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the bangle deduces heir-at-law but it is not a ilium.; [assump1] & int5 -> hypothesis; __DISPROVED__