The bald eagle sees the lion. The bear eats the bald eagle. The cow chases the bear. The lion is kind. If something is rough then it is cold. If something eats the bear then the bear chases the cow.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The lion is kind.
("lion" "is" "kind" "+")
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something eats the bear then the bear chases the cow.
((("something" "eats" "bear" "+")) -> ("bear" "chases" "cow" "+"))
The bear eats the bald eagle.
True
1
proof
[(triple2)]
("bear" "eats" "bald eagle" "+")
triple2
The lion is not kind.
False
1
inv-proof
[(triple4)]
("lion" "is" "kind" "-")
triple4
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The lion chases the bear.
Unknown
random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "+")
@0: The bald eagle sees the lion.[(triple1)] The bear eats the bald eagle.[(triple2)] The cow chases the bear.[(triple3)] The lion is kind.[(triple4)]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple2
The cow chases the bear.
("cow" "chases" "bear" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4