The bald eagle is kind. The bald eagle is red. The bald eagle needs the bear. The bald eagle visits the bear. The bald eagle visits the lion. The bald eagle visits the squirrel. The bear is cold. The bear is green. The bear is kind. The bear is red. The bear needs the squirrel. The lion eats the bald eagle. The lion eats the bear. The lion needs the bald eagle. The lion visits the bald eagle. The squirrel needs the bear. If someone is young and they eat the bald eagle then the bald eagle is cold. If someone is young and they eat the bear then they visit the squirrel. If someone eats the bald eagle then the bald eagle eats the lion. If someone needs the lion then they are green. If someone visits the bald eagle then the bald eagle visits the bear. If someone eats the bald eagle then the bald eagle eats the bear. If someone needs the lion then they eat the squirrel. If someone eats the squirrel then the squirrel needs the lion.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone is young and they eat the bald eagle then the bald eagle is cold.
((("someone" "is" "young" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone is young and they eat the bear then they visit the squirrel.
((("someone" "is" "young" "+") ("someone" "eats" "bear" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the bald eagle then the bald eagle eats the lion.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If someone needs the lion then they are green.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "green" "+"))
If someone visits the bald eagle then the bald eagle visits the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone eats the bald eagle then the bald eagle eats the bear.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone needs the lion then they eat the squirrel.
((("someone" "needs" "lion" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel then the squirrel needs the lion.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple12)]
("lion" "eats" "bald eagle" "+")
triple12
The bear does not need the squirrel.
False
1
inv-proof
[(triple11)]
("bear" "needs" "squirrel" "-")
triple11
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "green" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4 OR ((triple15) -> rule5))] The bald eagle visits the lion.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The bear is cold.[(triple7)] The bear is green.[(triple8)] The bear is kind.[(triple9)] The bear is red.[(triple10)] The bear needs the squirrel.[(triple11)] The lion eats the bald eagle.[(triple12)] The lion eats the bear.[(triple13)] The lion needs the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bald eagle eats the bear.[(((triple12) -> rule6))] The bald eagle eats the lion.[(((triple12) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
((triple15) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
triple8
The bear is kind.
("bear" "is" "kind" "+")
triple9
The bear is red.
("bear" "is" "red" "+")
triple10
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple11
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple12
The lion eats the bear.
("lion" "eats" "bear" "+")
triple13
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple12) -> (rule6 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple12) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1