The cat chases the cow. The cat chases the tiger. The cat is green. The cat likes the mouse. The cow chases the tiger. The cow is red. The cow is rough. The cow likes the mouse. The cow needs the cat. The mouse is green. The mouse likes the cat. The mouse likes the tiger. The mouse needs the cat. The tiger chases the cat. The tiger is green. If someone needs the mouse then they chase the tiger. If someone chases the mouse then the mouse likes the cow. If someone chases the mouse and they like the cow then they are rough.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone needs the mouse then they chase the tiger.
((("someone" "needs" "mouse" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the mouse then the mouse likes the cow.
((("someone" "chases" "mouse" "+")) -> ("mouse" "likes" "cow" "+"))
If someone chases the mouse and they like the cow then they are rough.
((("someone" "chases" "mouse" "+") ("someone" "likes" "cow" "+")) -> ("someone" "is" "rough" "+"))
The mouse is green.
True
1
proof
[(triple10)]
("mouse" "is" "green" "+")
triple10
The cow does not need the cat.
False
1
inv-proof
[(triple9)]
("cow" "needs" "cat" "-")
triple9
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "rough" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the tiger.[(triple2)] The cat is green.[(triple3)] The cat likes the mouse.[(triple4)] The cow chases the tiger.[(triple5)] The cow is red.[(triple6)] The cow is rough.[(triple7)] The cow likes the mouse.[(triple8)] The cow needs the cat.[(triple9)] The mouse is green.[(triple10)] The mouse likes the cat.[(triple11)] The mouse likes the tiger.[(triple12)] The mouse needs the cat.[(triple13)] The tiger chases the cat.[(triple14)] The tiger is green.[(triple15)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple8
The cow needs the cat.
("cow" "needs" "cat" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple11
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple12
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple13
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple14
The tiger is green.
("tiger" "is" "green" "+")
triple15