The bear is green. The bear is red. The bear does not like the tiger. The bear needs the tiger. The bear sees the tiger. The tiger is cold. The tiger is green. The tiger is red. The tiger is young. The tiger likes the bear. The tiger needs the bear. The tiger sees the bear. If something likes the tiger and the tiger likes the bear then the bear does not need the tiger. If something is green and it does not see the tiger then the tiger sees the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If something likes the tiger and the tiger likes the bear then the bear does not need the tiger.
((("something" "likes" "tiger" "+") ("tiger" "likes" "bear" "+")) -> ("bear" "needs" "tiger" "-"))
If something is green and it does not see the tiger then the tiger sees the bear.
((("something" "is" "green" "+") ("something" "sees" "tiger" "~")) -> ("tiger" "sees" "bear" "+"))
The tiger is young.
True
1
proof
[(triple9)]
("tiger" "is" "young" "+")
triple9
The tiger is not cold.
False
1
inv-proof
[(triple6)]
("tiger" "is" "cold" "-")
triple6
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bear does not like the tiger.[(triple3)] The bear is green.[(triple1)] The bear is red.[(triple2)] The bear needs the tiger.[(triple4)] The bear sees the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger is green.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger likes the bear.[(triple10)] The tiger needs the bear.[(triple11)] The tiger sees the bear.[(triple12)]
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple3
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple11
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple12