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