The bald eagle sees the bear. The bear eats the bald eagle. The lion eats the bear. The tiger eats the lion. If someone sees the lion and the lion is kind then the lion sees the bald eagle. If someone sees the tiger and the tiger eats the bald eagle then the tiger eats the lion. If someone is nice and they see the bald eagle then the bald eagle sees the lion. If someone is big and they eat the lion then the lion is kind. If the lion sees the bear then the bear is nice. If someone sees the tiger then the tiger is nice. If the tiger visits the lion and the tiger is red then the lion sees the bald eagle. If someone is big and they visit the bald eagle then the bald eagle eats the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If someone sees the lion and the lion is kind then the lion sees the bald eagle.
((("someone" "sees" "lion" "+") ("lion" "is" "kind" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone sees the tiger and the tiger eats the bald eagle then the tiger eats the lion.
((("someone" "sees" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "eats" "lion" "+"))
If someone is nice and they see the bald eagle then the bald eagle sees the lion.
((("someone" "is" "nice" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone is big and they eat the lion then the lion is kind.
((("someone" "is" "big" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "kind" "+"))
If the lion sees the bear then the bear is nice.
((("lion" "sees" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone sees the tiger then the tiger is nice.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If the tiger visits the lion and the tiger is red then the lion sees the bald eagle.
((("tiger" "visits" "lion" "+") ("tiger" "is" "red" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone is big and they visit the bald eagle then the bald eagle eats the bear.
((("someone" "is" "big" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
The bear eats the bald eagle.
True
1
proof
[(triple2)]
("bear" "eats" "bald eagle" "+")
triple2
The bald eagle does not see the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "bear" "-")
triple1
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "kind" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear eats the bald eagle.[(triple2)] The lion eats the bear.[(triple3)] The tiger eats the lion.[(triple4)]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The lion eats the bear.
("lion" "eats" "bear" "+")
triple3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple4