The lion chases the mouse. The lion chases the squirrel. The lion is cold. The lion is kind. The lion likes the mouse. The lion visits the mouse. The mouse chases the lion. The mouse chases the squirrel. The mouse is big. The squirrel chases the lion. The squirrel is green. The squirrel likes the lion. If the lion visits the mouse and the mouse visits the squirrel then the lion visits the squirrel. If the squirrel is green and the squirrel visits the lion then the lion is kind. If someone chases the squirrel and the squirrel chases the mouse then the squirrel visits the mouse.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the lion visits the mouse and the mouse visits the squirrel then the lion visits the squirrel.
((("lion" "visits" "mouse" "+") ("mouse" "visits" "squirrel" "+")) -> ("lion" "visits" "squirrel" "+"))
If the squirrel is green and the squirrel visits the lion then the lion is kind.
((("squirrel" "is" "green" "+") ("squirrel" "visits" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone chases the squirrel and the squirrel chases the mouse then the squirrel visits the mouse.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("squirrel" "visits" "mouse" "+"))
The lion is kind.
True
1
proof
[(triple4)]
("lion" "is" "kind" "+")
triple4
The mouse does not chase the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "chases" "squirrel" "-")
triple8
The squirrel does not visit the mouse.
Unknown
inv-rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "mouse" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion chases the mouse.[(triple1)] The lion chases the squirrel.[(triple2)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion likes the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse is big.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel is green.[(triple11)] The squirrel likes the lion.[(triple12)]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple6
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple12