The cow chases the lion. The lion chases the mouse. The lion is nice. The lion is not rough. The lion is not young. The lion sees the cow. The lion sees the mouse. The mouse chases the cow. The mouse chases the lion. The mouse is not kind. The mouse is not young. The mouse sees the cow. If someone is rough and nice then they do not need the lion. If someone sees the mouse and they chase the lion then they see the lion. If someone needs the cow and they are not nice then the cow is kind.
The cow chases the lion.
("cow" "chases" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone is rough and nice then they do not need the lion.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "lion" "-"))
If someone sees the mouse and they chase the lion then they see the lion.
((("someone" "sees" "mouse" "+") ("someone" "chases" "lion" "+")) -> ("someone" "sees" "lion" "+"))
If someone needs the cow and they are not nice then the cow is kind.
((("someone" "needs" "cow" "+") ("someone" "is" "nice" "~")) -> ("cow" "is" "kind" "+"))
The mouse is not kind.
True
1
proof
[(triple10)]
("mouse" "is" "kind" "-")
triple10
The lion is rough.
False
1
inv-proof
[(triple4)]
("lion" "is" "rough" "+")
triple4
The cow does not see the lion.
Unknown
inv-rconc
[@1: The cow sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "lion" "-")
The lion needs the cow.
Unknown
random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "+")
@0: The cow chases the lion.[(triple1)] The lion chases the mouse.[(triple2)] The lion is nice.[(triple3)] The lion is not rough.[(triple4)] The lion is not young.[(triple5)] The lion sees the cow.[(triple6)] The lion sees the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is not kind.[(triple10)] The mouse is not young.[(triple11)] The mouse sees the cow.[(triple12)]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is not rough.
("lion" "is" "rough" "-")
triple4
The lion is not young.
("lion" "is" "young" "-")
triple5
The lion sees the cow.
("lion" "sees" "cow" "+")
triple6
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse is not kind.
("mouse" "is" "kind" "-")
triple10
The mouse is not young.
("mouse" "is" "young" "-")
triple11
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple12