The bald eagle likes the cat. The cat likes the lion. The lion visits the cat. The tiger is kind. If the cat likes the bald eagle and the bald eagle needs the cat then the bald eagle is big. If someone is nice then they visit the tiger. All nice people are kind. If the lion is big then the lion likes the bald eagle. If someone is kind and they visit the cat then the cat is nice. If the tiger needs the cat and the cat is nice then the tiger is big.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If the cat likes the bald eagle and the bald eagle needs the cat then the bald eagle is big.
((("cat" "likes" "bald eagle" "+") ("bald eagle" "needs" "cat" "+")) -> ("bald eagle" "is" "big" "+"))
If someone is nice then they visit the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "tiger" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If the lion is big then the lion likes the bald eagle.
((("lion" "is" "big" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone is kind and they visit the cat then the cat is nice.
((("someone" "is" "kind" "+") ("someone" "visits" "cat" "+")) -> ("cat" "is" "nice" "+"))
If the tiger needs the cat and the cat is nice then the tiger is big.
((("tiger" "needs" "cat" "+") ("cat" "is" "nice" "+")) -> ("tiger" "is" "big" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cat" "+")
triple1
The cat does not like the lion.
False
1
inv-proof
[(triple2)]
("cat" "likes" "lion" "-")
triple2
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat likes the lion.[(triple2)] The lion visits the cat.[(triple3)] The tiger is kind.[(triple4)]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The lion visits the cat.
("lion" "visits" "cat" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4