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