and x false false and x not false x not not x x implies false y not false implies x false not x implies not x not y implies y and x y and 2 false 0 not 1 implies 2 FULL ./TRS/SK90/2.35.trs