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