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