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