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