The cow chases the lion. The cow does not chase the mouse. The cow is kind. The cow likes the mouse. The lion chases the cow. The lion does not need the cow. The mouse chases the cow. The mouse is not blue. The mouse is rough. The mouse needs the lion. If the lion likes the cow and the cow needs the lion then the cow is rough. If something likes the lion then the lion is not kind.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion does not need the cow.
("lion" "needs" "cow" "-")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If the lion likes the cow and the cow needs the lion then the cow is rough.
((("lion" "likes" "cow" "+") ("cow" "needs" "lion" "+")) -> ("cow" "is" "rough" "+"))
If something likes the lion then the lion is not kind.
((("something" "likes" "lion" "+")) -> ("lion" "is" "kind" "-"))
The mouse chases the cow.
True
1
proof
[(triple7)]
("mouse" "chases" "cow" "+")
triple7
The cow is not kind.
False
1
inv-proof
[(triple3)]
("cow" "is" "kind" "-")
triple3
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "rough" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow chases the lion.[(triple1)] The cow does not chase the mouse.[(triple2)] The cow is kind.[(triple3)] The cow likes the mouse.[(triple4)] The lion chases the cow.[(triple5)] The lion does not need the cow.[(triple6)] The mouse chases the cow.[(triple7)] The mouse is not blue.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the lion.[(triple10)]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow does not chase the mouse.
("cow" "chases" "mouse" "-")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The lion chases the cow.
("lion" "chases" "cow" "+")
triple5
The lion does not need the cow.
("lion" "needs" "cow" "-")
triple6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple7
The mouse is not blue.
("mouse" "is" "blue" "-")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10