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