The bald eagle is blue. The bald eagle is not kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is big. The lion is blue. The lion is kind. The lion likes the bald eagle. The lion sees the bald eagle. If the lion is round then the lion is rough. If something is rough and blue then it chases the bald eagle. If something likes the bald eagle and it sees the lion then it does not chase the bald eagle. If something is round and big then it chases the lion. If something likes the lion then it sees the bald eagle. If the lion is big and the lion chases the bald eagle then the bald eagle is rough. Rough things are round. If something chases the lion then the lion does not like the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
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 big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If the lion is round then the lion is rough.
((("lion" "is" "round" "+")) -> ("lion" "is" "rough" "+"))
If something is rough and blue then it chases the bald eagle.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the bald eagle and it sees the lion then it does not chase the bald eagle.
((("something" "likes" "bald eagle" "+") ("something" "sees" "lion" "+")) -> ("something" "chases" "bald eagle" "-"))
If something is round and big then it chases the lion.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "chases" "lion" "+"))
If something likes the lion then it sees the bald eagle.
((("something" "likes" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
If the lion is big and the lion chases the bald eagle then the bald eagle is rough.
((("lion" "is" "big" "+") ("lion" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something chases the lion then the lion does not like the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "likes" "bald eagle" "-"))
The lion sees the bald eagle.
True
1
proof
[(triple12)]
("lion" "sees" "bald eagle" "+")
triple12
The lion does not like the bald eagle.
False
1
inv-proof
[(triple11)]
("lion" "likes" "bald eagle" "-")
triple11
The bald eagle sees the bald eagle.
True
2
proof
[(((triple5) -> rule5))]
("bald eagle" "sees" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((triple3 triple1) -> rule2) OR ((((triple8 triple7) -> rule6) triple1) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((triple3 triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((((triple8 triple7) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The lion does not chase the lion.
Unknown
inv-rconc
[@3: The lion chases the lion.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion is rough.
Unknown
rconc
[@2: The lion is rough.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("lion" "is" "rough" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple8 triple7) -> rule6))] The bald eagle is round.[(triple4 OR ((triple3) -> rule7) OR ((((triple8 triple7) -> rule6)) -> rule7))] The bald eagle likes the lion.[(triple5)] The bald eagle sees the lion.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9)] The lion is kind.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The bald eagle chases the bald eagle.[(((triple3 triple1) -> rule2) OR ((((triple8 triple7) -> rule6) triple1) -> rule2))] The bald eagle sees the bald eagle.[(((triple5) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
((triple8 triple7) -> (rule6 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
((triple3) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple8 triple7) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
((((triple8 triple7) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1