The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is green. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is green. The lion is kind. The lion is red. The lion is round. The lion is young. The lion likes the bald eagle. If something is red and it likes the bald eagle then it is green. If something likes the lion and the lion chases the bald eagle then it eats the lion. If something is round and it eats the bald eagle then the bald eagle chases the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something is red and it likes the bald eagle then it is green.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something likes the lion and the lion chases the bald eagle then it eats the lion.
((("something" "likes" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("something" "eats" "lion" "+"))
If something is round and it eats the bald eagle then the bald eagle chases the lion.
((("something" "is" "round" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
The lion is young.
True
1
proof
[(triple11)]
("lion" "is" "young" "+")
triple11
The lion is not kind.
False
1
inv-proof
[(triple8)]
("lion" "is" "kind" "-")
triple8
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((triple10 triple6) -> rule3))] The bald eagle eats the lion.[(triple2 OR ((triple4 triple5) -> rule2))] The bald eagle is green.[(triple3)] The bald eagle likes the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is green.[(triple7 OR ((triple9 triple12) -> rule1))] The lion is kind.[(triple8)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion likes the bald eagle.[(triple12)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple10 triple6) -> (rule3 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
((triple4 triple5) -> (rule2 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
((triple9 triple12) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple12