The bald eagle is red. The bald eagle is round. The bald eagle likes the bear. The bald eagle does not need the bear. The bear is red. The bear likes the bald eagle. The bear needs the bald eagle. The bear sees the lion. The lion likes the bear. The lion sees the bear. If something likes the bear then it does not need the lion. If the bear is rough and the lion does not need the bear then the bear likes the bald eagle. If the lion likes the bear and the lion is not nice then the lion needs the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something likes the bear then it does not need the lion.
((("something" "likes" "bear" "+")) -> ("something" "needs" "lion" "-"))
If the bear is rough and the lion does not need the bear then the bear likes the bald eagle.
((("bear" "is" "rough" "+") ("lion" "needs" "bear" "~")) -> ("bear" "likes" "bald eagle" "+"))
If the lion likes the bear and the lion is not nice then the lion needs the bald eagle.
((("lion" "likes" "bear" "+") ("lion" "is" "nice" "~")) -> ("lion" "needs" "bald eagle" "+"))
The lion sees the bear.
True
1
proof
[(triple10)]
("lion" "sees" "bear" "+")
triple10
The lion does not like the bear.
False
1
inv-proof
[(triple9)]
("lion" "likes" "bear" "-")
triple9
The bald eagle does not need the lion.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "needs" "lion" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
int1
The bald eagle needs the lion.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "needs" "lion" "+")
((triple3) -> (rule1 % int1))
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
int1
The lion does not need the bald eagle.
Unknown
inv-rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "bald eagle" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion needs the bear.
Unknown
random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "+")
@0: The bald eagle does not need the bear.[(triple4)] The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear is red.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear sees the lion.[(triple8)] The lion likes the bear.[(triple9)] The lion sees the bear.[(triple10)] @1: The bald eagle does not need the lion.[(((triple3) -> rule1))] The lion does not need the lion.[(((triple9) -> rule1))]
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The bear sees the lion.
("bear" "sees" "lion" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
int1
The lion does not need the lion.
("lion" "needs" "lion" "-")
((triple9) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1