The cat sees the squirrel. The squirrel likes the cat. The squirrel sees the cat. If something sees the squirrel then it eats the cat.
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something sees the squirrel then it eats the cat.
((("something" "sees" "squirrel" "+")) -> ("something" "eats" "cat" "+"))
The squirrel likes the cat.
True
1
proof
[(triple2)]
("squirrel" "likes" "cat" "+")
triple2
The squirrel does not see the cat.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "cat" "-")
triple3
The cat eats the cat.
True
2
proof
[(((triple1) -> rule1))]
("cat" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "eats" "cat" "-")
((triple1) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The cat does not eat the squirrel.
Unknown
inv-random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cat sees the squirrel.[(triple1)] The squirrel likes the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule1))]
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple3
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1