; @origtpdbfilename ./TRS/SK90/2.35.trs
; @xtcfilename "./TRS_Standard/SK90/2.35.xml"
(format TRS)
(fun and 2)
(fun false 0)
(fun not 1)
(fun implies 2)
(rule (and x false) false)
(rule (and x (not false)) x)
(rule (not (not x)) x)
(rule (implies false y) (not false))
(rule (implies x false) (not x))
(rule (implies (not x) (not y)) (implies y (and x y)))