The squirrel is rough. If something is rough and not red then it is not young. If something is rough and not nice then it is young.
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something is rough and not red then it is not young.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "-"))
If something is rough and not nice then it is young.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "young" "+"))
The squirrel is rough.
True
1
proof
[(triple1)]
("squirrel" "is" "rough" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "rough" "-")
triple1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The squirrel is rough.[(triple1)]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1