The squirrel is kind. Kind, rough people are cold. If someone is young then they are cold. If someone is rough and not round then they are young. If someone is rough then they are young. All round people are not kind. If someone is young then they are kind.
The squirrel is kind.
("squirrel" "is" "kind" "+")
Kind, rough people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and not round then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All round people are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("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 cold.
Unknown
inv-rconc
[@2: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
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 kind.[(triple1)]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1