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