The squirrel is rough. If someone is big then they are green. If someone is green and not rough then they are not red.
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and not rough then they are not red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "-"))
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 green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is rough.[(triple1)]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1