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