The cow chases the mouse. The dog does not eat the mouse. The mouse chases the cow. If someone chases the cow and the cow eats the dog then they are not cold. If the mouse chases the dog and the dog is not kind then the dog eats the cow.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
If someone chases the cow and the cow eats the dog then they are not cold.
((("someone" "chases" "cow" "+") ("cow" "eats" "dog" "+")) -> ("someone" "is" "cold" "-"))
If the mouse chases the dog and the dog is not kind then the dog eats the cow.
((("mouse" "chases" "dog" "+") ("dog" "is" "kind" "~")) -> ("dog" "eats" "cow" "+"))
The cow chases the mouse.
True
1
proof
[(triple1)]
("cow" "chases" "mouse" "+")
triple1
The mouse does not chase the cow.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "cow" "-")
triple3
The dog does not eat the cow.
Unknown
inv-rconc
[@1: The dog eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "cow" "-")
The dog sees the mouse.
Unknown
random
[@0: The dog sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The dog does not eat the mouse.[(triple2)] The mouse chases the cow.[(triple3)]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3