The bald eagle is big. The cat is round. The cow chases the bald eagle. The cow is rough. The cow likes the bald eagle. The cow needs the lion. The lion chases the cat. If the bald eagle likes the cat then the cat needs the lion. If someone is green and they chase the lion then they like the cat. If someone needs the lion and the lion is rough then the lion chases the cat. If someone needs the cow then the cow is blue. If someone is blue and big then they like the bald eagle. If someone chases the lion and the lion is blue then the lion likes the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
If the bald eagle likes the cat then the cat needs the lion.
((("bald eagle" "likes" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If someone is green and they chase the lion then they like the cat.
((("someone" "is" "green" "+") ("someone" "chases" "lion" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the lion and the lion is rough then the lion chases the cat.
((("someone" "needs" "lion" "+") ("lion" "is" "rough" "+")) -> ("lion" "chases" "cat" "+"))
If someone needs the cow then the cow is blue.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "blue" "+"))
If someone is blue and big then they like the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the lion and the lion is blue then the lion likes the cat.
((("someone" "chases" "lion" "+") ("lion" "is" "blue" "+")) -> ("lion" "likes" "cat" "+"))
The lion chases the cat.
True
1
proof
[(triple7)]
("lion" "chases" "cat" "+")
triple7
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle is big.[(triple1)] The cat is round.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow is rough.[(triple4)] The cow likes the bald eagle.[(triple5)] The cow needs the lion.[(triple6)] The lion chases the cat.[(triple7)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple5
The cow needs the lion.
("cow" "needs" "lion" "+")
triple6
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7