the fact that the shingle is both not impressionable and not a Priacanthidae is wrong if it does not steal suppressor.
sent1: the ringmaster does steal suppressor. sent2: if something that is not ventral outsails one-sixtieth then it is a ductility. sent3: if something is an upheaval and is not unselfish then it is unsupportive. sent4: the shingle is not a Priacanthidae. sent5: that the shingle is impressionable but it is not a Priacanthidae is not true. sent6: a unimpressionable thing that is not a Priacanthidae does not steal suppressor. sent7: the shingle is not a kind of a velvet and it is not a kind of a Priacanthidae.
sent6 -> int1: the shingle does steal suppressor if it is not impressionable and it is not a kind of a Priacanthidae.; void -> assump1: Let's assume that the shingle is not impressionable and it is not a Priacanthidae.; int1 & assump1 -> int2: that the shingle steals suppressor hold.; void -> assump2: Let's assume that the shingle does not steal suppressor.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the shingle is a kind of non-impressionable thing that is not a kind of a Priacanthidae is wrong.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the shingle is both not impressionable and not a Priacanthidae is wrong if it does not steal suppressor. ; $context$ = sent1: the ringmaster does steal suppressor. sent2: if something that is not ventral outsails one-sixtieth then it is a ductility. sent3: if something is an upheaval and is not unselfish then it is unsupportive. sent4: the shingle is not a Priacanthidae. sent5: that the shingle is impressionable but it is not a Priacanthidae is not true. sent6: a unimpressionable thing that is not a Priacanthidae does not steal suppressor. sent7: the shingle is not a kind of a velvet and it is not a kind of a Priacanthidae. ; $proof$ = 
sent6 -> int1: the shingle does steal suppressor if it is not impressionable and it is not a kind of a Priacanthidae.; void -> assump1: Let's assume that the shingle is not impressionable and it is not a Priacanthidae.; int1 & assump1 -> int2: that the shingle steals suppressor hold.; void -> assump2: Let's assume that the shingle does not steal suppressor.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the shingle is a kind of non-impressionable thing that is not a kind of a Priacanthidae is wrong.; [assump2] & int4 -> hypothesis; __PROVED__