The squirrel is kind. Green things are cold. All kind, green things are young. All cold things are blue. All cold, green things are kind. Blue things are green. All kind, green things are blue.
The squirrel is kind.
("squirrel" "is" "kind" "+")
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
All kind, green things are young.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All cold, green things are kind.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All kind, green things are blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
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 young.
Unknown
inv-rconc
[@4: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
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