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