The cat chases the tiger. The cat eats the dog. The cat eats the mouse. The cat eats the tiger. The cat is red. The dog needs the cat. The mouse eats the dog. The mouse is nice. The mouse is red. The mouse is young. The tiger needs the dog. The tiger needs the mouse. If something chases the mouse and the mouse is round then the mouse needs the dog. If something eats the cat and the cat eats the dog then the cat needs the mouse. If something is round then it needs the tiger.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is red.
("cat" "is" "red" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If something chases the mouse and the mouse is round then the mouse needs the dog.
((("something" "chases" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "needs" "dog" "+"))
If something eats the cat and the cat eats the dog then the cat needs the mouse.
((("something" "eats" "cat" "+") ("cat" "eats" "dog" "+")) -> ("cat" "needs" "mouse" "+"))
If something is round then it needs the tiger.
((("something" "is" "round" "+")) -> ("something" "needs" "tiger" "+"))
The mouse is nice.
True
1
proof
[(triple8)]
("mouse" "is" "nice" "+")
triple8
The mouse does not eat the dog.
False
1
inv-proof
[(triple7)]
("mouse" "eats" "dog" "-")
triple7
The mouse does not need the tiger.
Unknown
inv-rconc
[@1: The mouse needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "tiger" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the dog.[(triple2)] The cat eats the mouse.[(triple3)] The cat eats the tiger.[(triple4)] The cat is red.[(triple5)] The dog needs the cat.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is nice.[(triple8)] The mouse is red.[(triple9)] The mouse is young.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the mouse.[(triple12)]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The dog needs the cat.
("dog" "needs" "cat" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12