implies
not
x
y
or
x
y
implies
not
x
or
y
z
implies
y
or
x
z
implies
x
or
y
z
or
y
implies
x
z
2.2
implies
x
or
y
z
implies
x
z
implies
not
x
or
y
z
implies
y
or
x
z
true
implies
not
x
or
y
z
implies
y
or
x
z
implies
x
or
y
z
implies
x
z
true
implies
2
1
2
0
or
2
1
2
1
implies
2
0
not
1
1
1
NaTT
certifiable-1.6