The bald eagle is rough. The bear is green. The cow needs the bald eagle. The dog chases the bald eagle. If the cow chases the dog and the dog is young then the cow chases the bear.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear is green.
("bear" "is" "green" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
If the cow chases the dog and the dog is young then the cow chases the bear.
((("cow" "chases" "dog" "+") ("dog" "is" "young" "+")) -> ("cow" "chases" "bear" "+"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The cow does not chase the bear.
Unknown
inv-rconc
[@1: The cow chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "bear" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle is rough.[(triple1)] The bear is green.[(triple2)] The cow needs the bald eagle.[(triple3)] The dog chases the bald eagle.[(triple4)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4