אנגלית ⇄ סינית +

resolution proof tree
.טֶכנו	分解证明树