The bear is cold. The cat chases the bear. The mouse is rough. The squirrel is nice. If someone is rough and they see the squirrel then they chase the mouse.
The bear is cold.
("bear" "is" "cold" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone is rough and they see the squirrel then they chase the mouse.
((("someone" "is" "rough" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
The squirrel is nice.
True
1
proof
[(triple4)]
("squirrel" "is" "nice" "+")
triple4
The cat does not chase the bear.
False
1
inv-proof
[(triple2)]
("cat" "chases" "bear" "-")
triple2
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear is cold.[(triple1)] The cat chases the bear.[(triple2)] The mouse is rough.[(triple3)] The squirrel is nice.[(triple4)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4