The bald eagle likes the lion. The lion is kind. The lion likes the bald eagle. If something likes the lion then it likes the bald eagle. If something visits the bald eagle then it is green. If something is green and it likes the lion then it chases the bald eagle. If something likes the lion then it chases the bald eagle. If the bald eagle chases the lion and the lion chases the bald eagle then the lion likes the bald eagle. If something chases the bald eagle and it is kind then the bald eagle chases the lion. If the bald eagle chases the lion and the lion is young then the bald eagle visits the lion. If something chases the bald eagle and the bald eagle is red then it is big.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something likes the lion then it likes the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "likes" "bald eagle" "+"))
If something visits the bald eagle then it is green.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something is green and it likes the lion then it chases the bald eagle.
((("something" "is" "green" "+") ("something" "likes" "lion" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the lion then it chases the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bald eagle chases the lion and the lion chases the bald eagle then the lion likes the bald eagle.
((("bald eagle" "chases" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something chases the bald eagle and it is kind then the bald eagle chases the lion.
((("something" "chases" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the bald eagle chases the lion and the lion is young then the bald eagle visits the lion.
((("bald eagle" "chases" "lion" "+") ("lion" "is" "young" "+")) -> ("bald eagle" "visits" "lion" "+"))
If something chases the bald eagle and the bald eagle is red then it is big.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("something" "is" "big" "+"))
The lion is kind.
True
1
proof
[(triple2)]
("lion" "is" "kind" "+")
triple2
The lion does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "likes" "bald eagle" "-")
triple3
The bald eagle likes the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The bald eagle chases the lion.
Unknown
rconc
[@2: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("bald eagle" "chases" "lion" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle likes the lion.[(triple1)] The lion is kind.[(triple2)] The lion likes the bald eagle.[(triple3)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule4))] The bald eagle likes the bald eagle.[(((triple1) -> rule1))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1