The bald eagle is cold. The bald eagle needs the bear. The bald eagle does not visit the cow. The bald eagle visits the lion. The bear is kind. The bear is not nice. The bear visits the cow. The cow chases the bald eagle. The cow is blue. The cow is cold. The cow is kind. The cow needs the bear. The cow visits the bald eagle. The cow visits the bear. The lion chases the cow. The lion visits the bear. If something chases the lion then the lion visits the bald eagle. If the cow needs the lion then the lion is nice. Nice, kind things are cold. If the bear chases the cow then the bear is blue. If something visits the bear and the bear needs the lion then it is blue. If the lion chases the bear then the bear is cold. If something needs the bald eagle then the bald eagle is nice. If something chases the bald eagle then the bald eagle needs the cow.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something chases the lion then the lion visits the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If the cow needs the lion then the lion is nice.
((("cow" "needs" "lion" "+")) -> ("lion" "is" "nice" "+"))
Nice, kind things are cold.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If the bear chases the cow then the bear is blue.
((("bear" "chases" "cow" "+")) -> ("bear" "is" "blue" "+"))
If something visits the bear and the bear needs the lion then it is blue.
((("something" "visits" "bear" "+") ("bear" "needs" "lion" "+")) -> ("something" "is" "blue" "+"))
If the lion chases the bear then the bear is cold.
((("lion" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something needs the bald eagle then the bald eagle is nice.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If something chases the bald eagle then the bald eagle needs the cow.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
The cow needs the bear.
True
1
proof
[(triple12)]
("cow" "needs" "bear" "+")
triple12
The bear is not kind.
False
1
inv-proof
[(triple5)]
("bear" "is" "kind" "-")
triple5
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "cold" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle does not visit the cow.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the lion.[(triple4)] The bear is kind.[(triple5)] The bear is not nice.[(triple6)] The bear visits the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is blue.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow needs the bear.[(triple12)] The cow visits the bald eagle.[(triple13)] The cow visits the bear.[(triple14)] The lion chases the cow.[(triple15)] The lion visits the bear.[(triple16)] @1: The bald eagle needs the cow.[(((triple8) -> rule8))]
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is not nice.
("bear" "is" "nice" "-")
triple6
The bear visits the cow.
("bear" "visits" "cow" "+")
triple7
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow needs the bear.
("cow" "needs" "bear" "+")
triple12
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple14
The lion chases the cow.
("lion" "chases" "cow" "+")
triple15
The lion visits the bear.
("lion" "visits" "bear" "+")
triple16
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple8) -> (rule8 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1