The bear needs the cow. The cow needs the bear. The cow visits the bear. If someone needs the cow and they eat the cow then the cow visits the bear. If someone is green and round then they visit the bear. If someone is kind then they need the cow. If the cow eats the bear and the cow is blue then the cow is kind. If someone eats the cow and they visit the bear then the bear is green. If someone eats the cow then the cow is kind.
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone needs the cow and they eat the cow then the cow visits the bear.
((("someone" "needs" "cow" "+") ("someone" "eats" "cow" "+")) -> ("cow" "visits" "bear" "+"))
If someone is green and round then they visit the bear.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "visits" "bear" "+"))
If someone is kind then they need the cow.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cow" "+"))
If the cow eats the bear and the cow is blue then the cow is kind.
((("cow" "eats" "bear" "+") ("cow" "is" "blue" "+")) -> ("cow" "is" "kind" "+"))
If someone eats the cow and they visit the bear then the bear is green.
((("someone" "eats" "cow" "+") ("someone" "visits" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone eats the cow then the cow is kind.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "kind" "+"))
The cow needs the bear.
True
1
proof
[(triple2)]
("cow" "needs" "bear" "+")
triple2
The cow does not need the bear.
False
1
inv-proof
[(triple2)]
("cow" "needs" "bear" "-")
triple2
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear needs the cow.[(triple1)] The cow needs the bear.[(triple2)] The cow visits the bear.[(triple3)]
The bear needs the cow.
("bear" "needs" "cow" "+")
triple1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple2
The cow visits the bear.
("cow" "visits" "bear" "+")
triple3