The bald eagle sees the lion. The lion sees the bald eagle. The rabbit sees the lion. If the lion is rough then the lion likes the bald eagle. If something is rough and big then it chases the lion. If the lion chases the rabbit and the lion likes the bald eagle then the lion is rough. If something chases the rabbit and it sees the bald eagle then it chases the lion. If something is blue and it chases the rabbit then it sees the bald eagle. If something likes the lion and it chases the rabbit then it sees the lion.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If the lion is rough then the lion likes the bald eagle.
((("lion" "is" "rough" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something is rough and big then it chases the lion.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "chases" "lion" "+"))
If the lion chases the rabbit and the lion likes the bald eagle then the lion is rough.
((("lion" "chases" "rabbit" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "is" "rough" "+"))
If something chases the rabbit and it sees the bald eagle then it chases the lion.
((("something" "chases" "rabbit" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "chases" "lion" "+"))
If something is blue and it chases the rabbit then it sees the bald eagle.
((("something" "is" "blue" "+") ("something" "chases" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
If something likes the lion and it chases the rabbit then it sees the lion.
((("something" "likes" "lion" "+") ("something" "chases" "rabbit" "+")) -> ("something" "sees" "lion" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple2)]
("lion" "sees" "bald eagle" "+")
triple2
The bald eagle does not see the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "lion" "-")
triple1
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "rough" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle sees the lion.[(triple1)] The lion sees the bald eagle.[(triple2)] The rabbit sees the lion.[(triple3)]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple3