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
2.2
implies
not
x
not
y
and
x
y
implies
x
false
not
x
implies
not
x
not
y
implies
y
and
x
y
implies
false
y
not
false
true
implies
not
x
not
y
implies
y
and
x
y
true
and
2
1
17711
false
0
17711
not
1
0
implies
2
1
2
0
implies
2
0
and
2
0
not
1
1
8856
and
x
false
false
and
x
not
false
x
implies
false
y
not
false
false
implies
x
false
not
x
false
implies
not
x
not
y
and
x
y
false
NaTT
certifiable-1.6