The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear is round. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is cold. The cow is green. If the cow is cold and the cow needs the bear then the bear needs the cow. If someone visits the cow and the cow is round then the cow visits the bear. If someone likes the bear and they visit the cow then the bear visits the cow.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
If the cow is cold and the cow needs the bear then the bear needs the cow.
((("cow" "is" "cold" "+") ("cow" "needs" "bear" "+")) -> ("bear" "needs" "cow" "+"))
If someone visits the cow and the cow is round then the cow visits the bear.
((("someone" "visits" "cow" "+") ("cow" "is" "round" "+")) -> ("cow" "visits" "bear" "+"))
If someone likes the bear and they visit the cow then the bear visits the cow.
((("someone" "likes" "bear" "+") ("someone" "visits" "cow" "+")) -> ("bear" "visits" "cow" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The bear does not like the cow.
False
1
inv-proof
[(triple6)]
("bear" "likes" "cow" "-")
triple6
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "bear" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear likes the cow.[(triple6)] The bear needs the cow.[(triple7)] The bear visits the cow.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10