The bald eagle needs the lion. The bald eagle does not visit the cow. The cow is not blue. The cow does not like the bald eagle. The cow likes the lion. The cow needs the lion. The lion is not blue. The lion likes the bald eagle. The lion needs the bald eagle. The lion does not visit the cow. If the lion is round and the lion needs the cow then the cow is nice.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The cow is not blue.
("cow" "is" "blue" "-")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion does not visit the cow.
("lion" "visits" "cow" "-")
If the lion is round and the lion needs the cow then the cow is nice.
((("lion" "is" "round" "+") ("lion" "needs" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cow likes the lion.
True
1
proof
[(triple5)]
("cow" "likes" "lion" "+")
triple5
The lion does not need the bald eagle.
False
1
inv-proof
[(triple9)]
("lion" "needs" "bald eagle" "-")
triple9
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle does not visit the cow.[(triple2)] The bald eagle needs the lion.[(triple1)] The cow does not like the bald eagle.[(triple4)] The cow is not blue.[(triple3)] The cow likes the lion.[(triple5)] The cow needs the lion.[(triple6)] The lion does not visit the cow.[(triple10)] The lion is not blue.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion needs the bald eagle.[(triple9)]
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple4
The cow is not blue.
("cow" "is" "blue" "-")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple5
The cow needs the lion.
("cow" "needs" "lion" "+")
triple6
The lion does not visit the cow.
("lion" "visits" "cow" "-")
triple10
The lion is not blue.
("lion" "is" "blue" "-")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9