The mouse is not cold. If something is green and not red then it is not rough. All red things are rough. If the mouse is rough and the mouse is kind then the mouse is not cold. If the mouse is rough and the mouse is not red then the mouse is not green. Red things are cold. If something is rough and not red then it is not kind.
The mouse is not cold.
("mouse" "is" "cold" "-")
If something is green and not red then it is not rough.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "-"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If the mouse is rough and the mouse is kind then the mouse is not cold.
((("mouse" "is" "rough" "+") ("mouse" "is" "kind" "+")) -> ("mouse" "is" "cold" "-"))
If the mouse is rough and the mouse is not red then the mouse is not green.
((("mouse" "is" "rough" "+") ("mouse" "is" "red" "~")) -> ("mouse" "is" "green" "-"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is rough and not red then it is not kind.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "kind" "-"))
The mouse is not cold.
True
1
proof
[(triple1)]
("mouse" "is" "cold" "-")
triple1
The mouse is cold.
False
1
inv-proof
[(triple1)]
("mouse" "is" "cold" "+")
triple1
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse is not cold.[(triple1)]
The mouse is not cold.
("mouse" "is" "cold" "-")
triple1