The bald eagle chases the bear. The bear does not visit the cow. The cow does not visit the bear. The dog sees the bear. If the bald eagle chases the dog and the dog chases the bear then the dog does not visit the bald eagle. If someone sees the dog and they do not chase the bald eagle then they are green. If someone visits the dog and the dog chases the bear then the dog visits the cow. If someone is blue then they do not visit the bald eagle. If someone visits the bear and they chase the bald eagle then the bear is not blue. If someone sees the bald eagle then they see the cow. If the bald eagle is not blue then the bald eagle does not visit the bear. If someone chases the bear then the bear visits the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the bald eagle chases the dog and the dog chases the bear then the dog does not visit the bald eagle.
((("bald eagle" "chases" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "visits" "bald eagle" "-"))
If someone sees the dog and they do not chase the bald eagle then they are green.
((("someone" "sees" "dog" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "is" "green" "+"))
If someone visits the dog and the dog chases the bear then the dog visits the cow.
((("someone" "visits" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "visits" "cow" "+"))
If someone is blue then they do not visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone visits the bear and they chase the bald eagle then the bear is not blue.
((("someone" "visits" "bear" "+") ("someone" "chases" "bald eagle" "+")) -> ("bear" "is" "blue" "-"))
If someone sees the bald eagle then they see the cow.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If the bald eagle is not blue then the bald eagle does not visit the bear.
((("bald eagle" "is" "blue" "~")) -> ("bald eagle" "visits" "bear" "-"))
If someone chases the bear then the bear visits the bald eagle.
((("someone" "chases" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
The cow does not visit the bear.
True
1
proof
[(triple3)]
("cow" "visits" "bear" "-")
triple3
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bear visits the bald eagle.
True
2
proof
[(((triple1) -> rule8))]
("bear" "visits" "bald eagle" "+")
((triple1) -> (rule8 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule8))]
("bear" "visits" "bald eagle" "-")
((triple1) -> (rule8 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "green" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "+")
The bald eagle does not visit the cow.
Unknown
inv-random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle chases the bear.[(triple1)] The bear does not visit the cow.[(triple2)] The cow does not visit the bear.[(triple3)] The dog sees the bear.[(triple4)] @1: The bear visits the bald eagle.[(((triple1) -> rule8))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple2
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple3
The dog sees the bear.
("dog" "sees" "bear" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple1) -> (rule8 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1