The cat likes the cow. The cow needs the squirrel. The dog sees the squirrel. The squirrel sees the dog. If someone sees the squirrel and the squirrel is rough then the squirrel sees the dog. If someone sees the cat then the cat sees the squirrel. If someone sees the dog and the dog sees the squirrel then the dog needs the cat.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone sees the squirrel and the squirrel is rough then the squirrel sees the dog.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "sees" "dog" "+"))
If someone sees the cat then the cat sees the squirrel.
((("someone" "sees" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If someone sees the dog and the dog sees the squirrel then the dog needs the cat.
((("someone" "sees" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("dog" "needs" "cat" "+"))
The cat likes the cow.
True
1
proof
[(triple1)]
("cat" "likes" "cow" "+")
triple1
The cow does not need the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "needs" "squirrel" "-")
triple2
The dog needs the cat.
True
3
proof
[(((triple4 triple3) -> rule3))]
("dog" "needs" "cat" "+")
((triple4 triple3) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog does not need the cat.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("dog" "needs" "cat" "-")
((triple4 triple3) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The cat does not see the squirrel.
Unknown
inv-rconc
[@1: The cat sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cat likes the cow.[(triple1)] The cow needs the squirrel.[(triple2)] The dog sees the squirrel.[(triple3)] The squirrel sees the dog.[(triple4)] @1: The dog needs the cat.[(((triple4 triple3) -> rule3))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple4
The dog needs the cat.
("dog" "needs" "cat" "+")
((triple4 triple3) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1