The cat eats the dog. The cat is blue. The cat is cold. The cat likes the mouse. The cat needs the mouse. The cat needs the squirrel. The dog is cold. The mouse is blue. The mouse needs the cat. The squirrel likes the dog. The squirrel likes the mouse. The squirrel needs the dog. If someone is rough and they eat the cat then the cat is blue. If someone eats the squirrel then the squirrel needs the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone is rough and they eat the cat then the cat is blue.
((("someone" "is" "rough" "+") ("someone" "eats" "cat" "+")) -> ("cat" "is" "blue" "+"))
If someone eats the squirrel then the squirrel needs the cat.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
The mouse is blue.
True
1
proof
[(triple8)]
("mouse" "is" "blue" "+")
triple8
The cat does not need the mouse.
False
1
inv-proof
[(triple5)]
("cat" "needs" "mouse" "-")
triple5
The squirrel does not need the cat.
Unknown
inv-rconc
[@1: The squirrel needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "cat" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The cat eats the dog.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat likes the mouse.[(triple4)] The cat needs the mouse.[(triple5)] The cat needs the squirrel.[(triple6)] The dog is cold.[(triple7)] The mouse is blue.[(triple8)] The mouse needs the cat.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel needs the dog.[(triple12)]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple4
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12