The bear visits the cow. The cow chases the dog. The dog is green. If someone is rough and they eat the bear then the bear visits the cow. If someone is round and they chase the dog then they eat the dog. If someone is round then they chase the cow.
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
If someone is rough and they eat the bear then the bear visits the cow.
((("someone" "is" "rough" "+") ("someone" "eats" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If someone is round and they chase the dog then they eat the dog.
((("someone" "is" "round" "+") ("someone" "chases" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone is round then they chase the cow.
((("someone" "is" "round" "+")) -> ("someone" "chases" "cow" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple3)]
("dog" "is" "green" "-")
triple3
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bear visits the cow.[(triple1)] The cow chases the dog.[(triple2)] The dog is green.[(triple3)]
The bear visits the cow.
("bear" "visits" "cow" "+")
triple1
The cow chases the dog.
("cow" "chases" "dog" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3