The squirrel is kind. If someone is blue then they are not cold. Cold people are blue. If someone is blue and not cold then they are not rough. If someone is round and not rough then they are kind. Rough people are kind. All rough people are not kind.
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone is blue then they are not cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and not cold then they are not rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "-"))
If someone is round and not rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "kind" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All rough people are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
The squirrel is kind.
True
1
proof
[(triple1)]
("squirrel" "is" "kind" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "kind" "-")
triple1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The squirrel is kind.[(triple1)]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1