The bear chases the mouse. The bear chases the squirrel. The bear sees the squirrel. The bear visits the squirrel. The lion chases the squirrel. The lion is red. The lion is rough. The lion is young. The lion sees the mouse. The lion visits the squirrel. The mouse chases the bear. The mouse sees the bear. The mouse visits the squirrel. The squirrel is rough. The squirrel sees the bear. The squirrel sees the lion. If something visits the lion and it is green then it sees the squirrel. If something chases the squirrel and the squirrel visits the mouse then the mouse chases the squirrel.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something visits the lion and it is green then it sees the squirrel.
((("something" "visits" "lion" "+") ("something" "is" "green" "+")) -> ("something" "sees" "squirrel" "+"))
If something chases the squirrel and the squirrel visits the mouse then the mouse chases the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
The bear chases the squirrel.
True
1
proof
[(triple2)]
("bear" "chases" "squirrel" "+")
triple2
The bear does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "chases" "squirrel" "-")
triple2
The mouse does not chase the squirrel.
Unknown
inv-rconc
[@1: The mouse chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "squirrel" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is red.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion sees the mouse.[(triple9)] The lion visits the squirrel.[(triple10)] The mouse chases the bear.[(triple11)] The mouse sees the bear.[(triple12)] The mouse visits the squirrel.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the lion.[(triple16)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple10
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple16