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