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