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