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