The cat is kind. The cat is not rough. The cat likes the squirrel. The dog is cold. The mouse is rough. The mouse likes the cat. The mouse needs the cat. The squirrel chases the dog. The squirrel chases the mouse. The squirrel does not like the cat. If the squirrel chases the cat and the squirrel likes the mouse then the squirrel is not kind. If the squirrel chases the mouse and the squirrel does not like the dog then the squirrel chases the cat. All cold things are blue.
The cat is kind.
("cat" "is" "kind" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
If the squirrel chases the cat and the squirrel likes the mouse then the squirrel is not kind.
((("squirrel" "chases" "cat" "+") ("squirrel" "likes" "mouse" "+")) -> ("squirrel" "is" "kind" "-"))
If the squirrel chases the mouse and the squirrel does not like the dog then the squirrel chases the cat.
((("squirrel" "chases" "mouse" "+") ("squirrel" "likes" "dog" "~")) -> ("squirrel" "chases" "cat" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
The cat is kind.
True
1
proof
[(triple1)]
("cat" "is" "kind" "+")
triple1
The mouse is not rough.
False
1
inv-proof
[(triple5)]
("mouse" "is" "rough" "-")
triple5
The dog is blue.
True
2
proof
[(((triple4) -> rule3))]
("dog" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "is" "blue" "-")
((triple4) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "blue" "-")
The cat is blue.
Unknown
rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "blue" "+")
The dog does not chase the cat.
Unknown
inv-random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cat is kind.[(triple1)] The cat is not rough.[(triple2)] The cat likes the squirrel.[(triple3)] The dog is cold.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the cat.[(triple6)] The mouse needs the cat.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not like the cat.[(triple10)] @1: The dog is blue.[(((triple4) -> rule3))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is not rough.
("cat" "is" "rough" "-")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple6
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple7
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple10
The dog is blue.
("dog" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1