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