The squirrel is rough. If someone is young and blue then they are green.
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone is young and blue then they are green.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
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 sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is rough.[(triple1)]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1