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