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