The bald eagle likes the rabbit. The rabbit eats the bald eagle. The rabbit is red. If someone eats the rabbit and the rabbit needs the bald eagle then the rabbit is red. If someone is green and they do not eat the bald eagle then they need the rabbit. If someone is red then they need the rabbit. If someone needs the rabbit and they do not like the rabbit then they are red. If the rabbit is not blue then the rabbit is not kind. All red people are kind.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If someone eats the rabbit and the rabbit needs the bald eagle then the rabbit is red.
((("someone" "eats" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "is" "red" "+"))
If someone is green and they do not eat the bald eagle then they need the rabbit.
((("someone" "is" "green" "+") ("someone" "eats" "bald eagle" "~")) -> ("someone" "needs" "rabbit" "+"))
If someone is red then they need the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit and they do not like the rabbit then they are red.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "rabbit" "~")) -> ("someone" "is" "red" "+"))
If the rabbit is not blue then the rabbit is not kind.
((("rabbit" "is" "blue" "~")) -> ("rabbit" "is" "kind" "-"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
The rabbit is red.
True
1
proof
[(triple3)]
("rabbit" "is" "red" "+")
triple3
The rabbit does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "bald eagle" "-")
triple2
The rabbit needs the rabbit.
True
2
proof
[(((triple3) -> rule3))]
("rabbit" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple3) -> rule6))]
("rabbit" "is" "kind" "-")
((triple3) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@2: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The bald eagle is kind.
Unknown
rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The rabbit eats the bald eagle.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is kind.[(((triple3) -> rule6))] The rabbit needs the rabbit.[(((triple3) -> rule3))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple3) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1