The squirrel is blue. All cold things are kind. If something is blue then it is young. If something is kind and blue then it is green.
The squirrel is blue.
("squirrel" "is" "blue" "+")
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is kind and blue then it is green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The squirrel is blue.
True
1
proof
[(triple1)]
("squirrel" "is" "blue" "+")
triple1
The squirrel is not blue.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "blue" "-")
triple1
The squirrel is not green.
Unknown
inv-rconc
[@2: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule2))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1