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