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