The bald eagle chases the lion. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle needs the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is blue. The lion needs the bald eagle. The lion visits the bald eagle. If someone is young and blue then they visit the bald eagle. If the lion visits the bald eagle and the bald eagle visits the lion then the bald eagle needs the lion. If someone is cold and they need the bald eagle then the bald eagle chases the lion. If someone chases the bald eagle and they do not visit the bald eagle then the bald eagle is green. If someone needs the lion and they are not green then they do not chase the lion. If someone is round then they chase the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone is young and blue then they visit the bald eagle.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the lion visits the bald eagle and the bald eagle visits the lion then the bald eagle needs the lion.
((("lion" "visits" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone is cold and they need the bald eagle then the bald eagle chases the lion.
((("someone" "is" "cold" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If someone chases the bald eagle and they do not visit the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "green" "+"))
If someone needs the lion and they are not green then they do not chase the lion.
((("someone" "needs" "lion" "+") ("someone" "is" "green" "~")) -> ("someone" "chases" "lion" "-"))
If someone is round then they chase the lion.
((("someone" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
The bald eagle visits the lion.
True
1
proof
[(triple6)]
("bald eagle" "visits" "lion" "+")
triple6
The lion does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("lion" "visits" "bald eagle" "-")
triple10
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((triple4) -> rule6))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the lion.[(triple5 OR ((triple10 triple6) -> rule2))] The bald eagle visits the lion.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion is blue.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple4) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
((triple10 triple6) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10