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