The cat chases the squirrel. The cat is red. The rabbit chases the cat. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit likes the squirrel. The squirrel likes the rabbit. If the rabbit chases the squirrel then the rabbit is blue. If the squirrel is red and the squirrel does not chase the rabbit then the squirrel is not cold. If someone eats the rabbit and the rabbit likes the squirrel then they like the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is red.
("cat" "is" "red" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If the rabbit chases the squirrel then the rabbit is blue.
((("rabbit" "chases" "squirrel" "+")) -> ("rabbit" "is" "blue" "+"))
If the squirrel is red and the squirrel does not chase the rabbit then the squirrel is not cold.
((("squirrel" "is" "red" "+") ("squirrel" "chases" "rabbit" "~")) -> ("squirrel" "is" "cold" "-"))
If someone eats the rabbit and the rabbit likes the squirrel then they like the squirrel.
((("someone" "eats" "rabbit" "+") ("rabbit" "likes" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple7)]
("squirrel" "likes" "rabbit" "+")
triple7
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple5)]
("rabbit" "eats" "squirrel" "-")
triple5
The rabbit is blue.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "is" "blue" "-")
((triple4) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The cat does not like the squirrel.
Unknown
inv-rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
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 chases the squirrel.[(triple1)] The cat is red.[(triple2)] The rabbit chases the cat.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The rabbit is blue.[(((triple4) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple3
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1