The cat likes the squirrel. The cat sees the squirrel. The dog is blue. The dog does not like the squirrel. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the dog. If something sees the squirrel then the squirrel does not visit the cat.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something sees the squirrel then the squirrel does not visit the cat.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "visits" "cat" "-"))
The squirrel likes the cat.
True
1
proof
[(triple5)]
("squirrel" "likes" "cat" "+")
triple5
The cat does not like the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "likes" "squirrel" "-")
triple1
The squirrel does not visit the cat.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "visits" "cat" "-")
((triple2) -> (rule1 % int1))
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
int1
The squirrel visits the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "visits" "cat" "+")
((triple2) -> (rule1 % int1))
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
int1
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The cat likes the dog.
Unknown
random
[@0: The cat likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "dog" "+")
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cat likes the squirrel.[(triple1)] The cat sees the squirrel.[(triple2)] The dog does not like the squirrel.[(triple4)] The dog is blue.[(triple3)] The squirrel likes the cat.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The squirrel does not visit the cat.[(((triple2) -> rule1))]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple2
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple3
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple5
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple6
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple7
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
((triple2) -> (rule1 % int1))
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
int1