The bald eagle eats the rabbit. The rabbit needs the bald eagle. If something needs the bald eagle then it eats the rabbit. If something eats the rabbit and it is red then it is nice. If something likes the rabbit and it eats the rabbit then the rabbit eats the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something needs the bald eagle then it eats the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the rabbit and it is red then it is nice.
((("something" "eats" "rabbit" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something likes the rabbit and it eats the rabbit then the rabbit eats the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "rabbit" "-")
triple1
The rabbit eats the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The rabbit needs the bald eagle.[(triple2)] @1: The rabbit eats the rabbit.[(((triple2) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1