the automatic is not a kind of a transcendence but it is a lingual.
sent1: there is something such that the fact that it does not criticize chrysoprase or it criticizes variance or both is not wrong. sent2: the fact that something does not criticize chrysoprase and criticizes variance is incorrect if it is not a promising. sent3: if something is a Kuchean then that it does not criticize chrysoprase and criticizes variance does not hold. sent4: the automatic is not a kind of a transcendence. sent5: there exists something such that that it either does not criticize chrysoprase or does criticize variance or both does not hold. sent6: if the fact that the automatic is not a transcendence but it is a kind of a lingual is false the fact that it is a Kuchean is not false. sent7: the automatic is not a Kuchean if there is something such that that it does not criticize chrysoprase and/or does criticize variance is not correct.
void -> assump1: Let's assume that the fact that the automatic is not a kind of a transcendence and is a lingual is false.; sent6 & assump1 -> int1: the automatic is a Kuchean.; sent5 & sent7 -> int2: the fact that the automatic is not a Kuchean is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fishbowl is not a Kuchean.
sent2 -> int4: that the fact that the automatic does not criticize chrysoprase and criticizes variance is correct is not true if it is not a promising.;
$hypothesis$ = the automatic is not a kind of a transcendence but it is a lingual. ; $context$ = sent1: there is something such that the fact that it does not criticize chrysoprase or it criticizes variance or both is not wrong. sent2: the fact that something does not criticize chrysoprase and criticizes variance is incorrect if it is not a promising. sent3: if something is a Kuchean then that it does not criticize chrysoprase and criticizes variance does not hold. sent4: the automatic is not a kind of a transcendence. sent5: there exists something such that that it either does not criticize chrysoprase or does criticize variance or both does not hold. sent6: if the fact that the automatic is not a transcendence but it is a kind of a lingual is false the fact that it is a Kuchean is not false. sent7: the automatic is not a Kuchean if there is something such that that it does not criticize chrysoprase and/or does criticize variance is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the automatic is not a kind of a transcendence and is a lingual is false.; sent6 & assump1 -> int1: the automatic is a Kuchean.; sent5 & sent7 -> int2: the fact that the automatic is not a Kuchean is right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__