The squirrel is not kind. All cold things are not green. Kind things are green.
The squirrel is not kind.
("squirrel" "is" "kind" "-")
All cold things are not green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The squirrel is not kind.
True
1
proof
[(triple1)]
("squirrel" "is" "kind" "-")
triple1
The squirrel is kind.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "kind" "+")
triple1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is not kind.[(triple1)]
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple1