The bald eagle does not chase the lion. The bald eagle is nice. The bald eagle is not young. The bald eagle likes the bear. The bald eagle sees the lion. The bear does not chase the bald eagle. The bear is big. The bear does not like the lion. The bear does not see the bald eagle. The bear sees the lion. The lion chases the bear. The lion is nice. The lion is red. The lion is young. The lion likes the bald eagle. If someone is red then they chase the lion. If someone is young and they like the bald eagle then they chase the lion. If the lion chases the bald eagle and the bald eagle sees the bear then the bald eagle likes the lion.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
The bear is big.
("bear" "is" "big" "+")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If someone is red then they chase the lion.
((("someone" "is" "red" "+")) -> ("someone" "chases" "lion" "+"))
If someone is young and they like the bald eagle then they chase the lion.
((("someone" "is" "young" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "lion" "+"))
If the lion chases the bald eagle and the bald eagle sees the bear then the bald eagle likes the lion.
((("lion" "chases" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("bald eagle" "likes" "lion" "+"))
The lion is young.
True
1
proof
[(triple14)]
("lion" "is" "young" "+")
triple14
The lion is not nice.
False
1
inv-proof
[(triple12)]
("lion" "is" "nice" "-")
triple12
The lion chases the lion.
True
2
proof
[(((triple13) -> rule1) OR ((triple14 triple15) -> rule2))]
("lion" "chases" "lion" "+")
((triple13) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple14 triple15) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple13) -> rule1) OR ((triple14 triple15) -> rule2))]
("lion" "chases" "lion" "-")
((triple13) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple14 triple15) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The bald eagle does not like the lion.
Unknown
inv-rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The bear chases the lion.
Unknown
rconc
[@1: The bear chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "lion" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is not young.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle sees the lion.[(triple5)] The bear does not chase the bald eagle.[(triple6)] The bear does not like the lion.[(triple8)] The bear does not see the bald eagle.[(triple9)] The bear is big.[(triple7)] The bear sees the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion likes the bald eagle.[(triple15)] @1: The lion chases the lion.[(((triple13) -> rule1) OR ((triple14 triple15) -> rule2))]
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
triple6
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple8
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple9
The bear is big.
("bear" "is" "big" "+")
triple7
The bear sees the lion.
("bear" "sees" "lion" "+")
triple10
The lion chases the bear.
("lion" "chases" "bear" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple15
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple13) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple14 triple15) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1