The bald eagle eats the cow. The bald eagle does not see the cow. The cow chases the dog. The cow is red. The dog chases the cow. The mouse chases the bald eagle. The mouse is blue. If someone chases the cow and they do not see the mouse then the mouse eats the cow. If someone chases the cow and they chase the bald eagle then the bald eagle is rough. If the dog eats the bald eagle and the dog chases the bald eagle then the dog does not chase the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is red.
("cow" "is" "red" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If someone chases the cow and they do not see the mouse then the mouse eats the cow.
((("someone" "chases" "cow" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "eats" "cow" "+"))
If someone chases the cow and they chase the bald eagle then the bald eagle is rough.
((("someone" "chases" "cow" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the dog eats the bald eagle and the dog chases the bald eagle then the dog does not chase the cow.
((("dog" "eats" "bald eagle" "+") ("dog" "chases" "bald eagle" "+")) -> ("dog" "chases" "cow" "-"))
The mouse chases the bald eagle.
True
1
proof
[(triple6)]
("mouse" "chases" "bald eagle" "+")
triple6
The bald eagle sees the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle does not see the cow.[(triple2)] The bald eagle eats the cow.[(triple1)] The cow chases the dog.[(triple3)] The cow is red.[(triple4)] The dog chases the cow.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is blue.[(triple7)]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple2
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow chases the dog.
("cow" "chases" "dog" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7