The bald eagle chases the cow. The bald eagle is blue. The bald eagle likes the tiger. The cow chases the bald eagle. The cow chases the tiger. The cow likes the bald eagle. The tiger chases the bald eagle. If something needs the bald eagle and the bald eagle needs the cow then the cow is green. If the cow chases the tiger and the cow likes the bald eagle then the tiger is green. If the tiger likes the cow and the cow chases the tiger then the tiger does not like the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If something needs the bald eagle and the bald eagle needs the cow then the cow is green.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("cow" "is" "green" "+"))
If the cow chases the tiger and the cow likes the bald eagle then the tiger is green.
((("cow" "chases" "tiger" "+") ("cow" "likes" "bald eagle" "+")) -> ("tiger" "is" "green" "+"))
If the tiger likes the cow and the cow chases the tiger then the tiger does not like the bald eagle.
((("tiger" "likes" "cow" "+") ("cow" "chases" "tiger" "+")) -> ("tiger" "likes" "bald eagle" "-"))
The bald eagle likes the tiger.
True
1
proof
[(triple3)]
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "tiger" "-")
triple3
The tiger is green.
True
3
proof
[(((triple5 triple6) -> rule2))]
("tiger" "is" "green" "+")
((triple5 triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("tiger" "is" "green" "-")
((triple5 triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The cow does not need the bald eagle.
Unknown
inv-random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "-")
The cow needs the tiger.
Unknown
random
[@0: The cow needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "tiger" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the tiger.[(triple5)] The cow likes the bald eagle.[(triple6)] The tiger chases the bald eagle.[(triple7)] @1: The tiger is green.[(((triple5 triple6) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
((triple5 triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1