The cow is rough. The dog chases the cow. The mouse sees the cow. If something chases the cow and the cow is nice then the cow sees the mouse. If the mouse chases the cow and the cow sees the dog then the dog likes the cow.
The cow is rough.
("cow" "is" "rough" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If something chases the cow and the cow is nice then the cow sees the mouse.
((("something" "chases" "cow" "+") ("cow" "is" "nice" "+")) -> ("cow" "sees" "mouse" "+"))
If the mouse chases the cow and the cow sees the dog then the dog likes the cow.
((("mouse" "chases" "cow" "+") ("cow" "sees" "dog" "+")) -> ("dog" "likes" "cow" "+"))
The dog chases the cow.
True
1
proof
[(triple2)]
("dog" "chases" "cow" "+")
triple2
The dog does not chase the cow.
False
1
inv-proof
[(triple2)]
("dog" "chases" "cow" "-")
triple2
The dog does not like the cow.
Unknown
inv-rconc
[@1: The dog likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "cow" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The cow is rough.[(triple1)] The dog chases the cow.[(triple2)] The mouse sees the cow.[(triple3)]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The dog chases the cow.
("dog" "chases" "cow" "+")
triple2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple3