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