The cat chases the cow. The cat is not blue. The cat likes the cow. The cat likes the rabbit. The cat needs the mouse. The cow does not chase the rabbit. The mouse is red. The mouse needs the rabbit. The rabbit chases the cow. The rabbit is blue. The rabbit likes the cat. The rabbit likes the cow. If something is nice and it likes the mouse then it likes the cow. If something is blue and it likes the mouse then it is red. If something needs the cow then the cow needs the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If something is nice and it likes the mouse then it likes the cow.
((("something" "is" "nice" "+") ("something" "likes" "mouse" "+")) -> ("something" "likes" "cow" "+"))
If something is blue and it likes the mouse then it is red.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "+")) -> ("something" "is" "red" "+"))
If something needs the cow then the cow needs the cat.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "cat" "+"))
The rabbit likes the cow.
True
1
proof
[(triple12)]
("rabbit" "likes" "cow" "+")
triple12
The cat is blue.
False
1
inv-proof
[(triple2)]
("cat" "is" "blue" "+")
triple2
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "red" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat chases the cow.[(triple1)] The cat is not blue.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the rabbit.[(triple4)] The cat needs the mouse.[(triple5)] The cow does not chase the rabbit.[(triple6)] The mouse is red.[(triple7)] The mouse needs the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit likes the cow.[(triple12)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat is not blue.
("cat" "is" "blue" "-")
triple2
The cat likes the cow.
("cat" "likes" "cow" "+")
triple3
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple4
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple5
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple8
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple11
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple12