The bald eagle chases the lion. The bald eagle likes the lion. The lion is not rough. If something is green and not rough then it does not visit the lion. If something visits the bald eagle and the bald eagle likes the lion then the lion chases the bald eagle. If something is blue and it visits the lion then it visits the bald eagle. If something visits the bald eagle then the bald eagle does not like the lion. If something chases the bald eagle then it likes the bald eagle. If something is rough and young then it likes the bald eagle. If something chases the lion then it is young. If something visits the lion and the lion does not visit the bald eagle then it is young.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion is not rough.
("lion" "is" "rough" "-")
If something is green and not rough then it does not visit the lion.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "visits" "lion" "-"))
If something visits the bald eagle and the bald eagle likes the lion then the lion chases the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something is blue and it visits the lion then it visits the bald eagle.
((("something" "is" "blue" "+") ("something" "visits" "lion" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle does not like the lion.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "-"))
If something chases the bald eagle then it likes the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is rough and young then it likes the bald eagle.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the lion then it is young.
((("something" "chases" "lion" "+")) -> ("something" "is" "young" "+"))
If something visits the lion and the lion does not visit the bald eagle then it is young.
((("something" "visits" "lion" "+") ("lion" "visits" "bald eagle" "~")) -> ("something" "is" "young" "+"))
The lion is not rough.
True
1
proof
[(triple3)]
("lion" "is" "rough" "-")
triple3
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The lion is not rough.[(triple3)] @1: The bald eagle is young.[(((triple1) -> rule7))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The lion is not rough.
("lion" "is" "rough" "-")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule7 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1