The bald eagle needs the bear. The bear is round. The bear needs the lion. The cow is young. The lion is red. The lion needs the bald eagle. The lion visits the bald eagle. If something visits the bald eagle and it visits the bear then the bald eagle needs the bear. If something is big and it visits the bald eagle then it visits the bear. If the cow is red then the cow visits the bear. If something visits the bear and it visits the lion then the lion needs the bald eagle. If something visits the bald eagle and the bald eagle needs the cow then the bald eagle needs the bear. If something sees the bald eagle then the bald eagle is red.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cow is young.
("cow" "is" "young" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something visits the bald eagle and it visits the bear then the bald eagle needs the bear.
((("something" "visits" "bald eagle" "+") ("something" "visits" "bear" "+")) -> ("bald eagle" "needs" "bear" "+"))
If something is big and it visits the bald eagle then it visits the bear.
((("something" "is" "big" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "visits" "bear" "+"))
If the cow is red then the cow visits the bear.
((("cow" "is" "red" "+")) -> ("cow" "visits" "bear" "+"))
If something visits the bear and it visits the lion then the lion needs the bald eagle.
((("something" "visits" "bear" "+") ("something" "visits" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle needs the cow then the bald eagle needs the bear.
((("something" "visits" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("bald eagle" "needs" "bear" "+"))
If something sees the bald eagle then the bald eagle is red.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
The cow is young.
True
1
proof
[(triple4)]
("cow" "is" "young" "+")
triple4
The lion does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("lion" "visits" "bald eagle" "-")
triple7
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear is round.[(triple2)] The bear needs the lion.[(triple3)] The cow is young.[(triple4)] The lion is red.[(triple5)] The lion needs the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple7)]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple7