The cat is blue. The squirrel needs the cat. If someone is blue and they need the squirrel then they are red. If the squirrel needs the cat then the cat eats the squirrel.
The cat is blue.
("cat" "is" "blue" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If someone is blue and they need the squirrel then they are red.
((("someone" "is" "blue" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If the squirrel needs the cat then the cat eats the squirrel.
((("squirrel" "needs" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
The cat is blue.
True
1
proof
[(triple1)]
("cat" "is" "blue" "+")
triple1
The cat is not blue.
False
1
inv-proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The cat eats the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("cat" "eats" "squirrel" "+")
((triple2) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat does not eat the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "eats" "squirrel" "-")
((triple2) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "red" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel eats the cat.
Unknown
random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "+")
@0: The cat is blue.[(triple1)] The squirrel needs the cat.[(triple2)] @1: The cat eats the squirrel.[(((triple2) -> rule2))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((triple2) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1