Charlie is kind. If something is quiet and smart then it is blue. If something is young and blue then it is kind. If Charlie is smart and Charlie is quiet then Charlie is young.
Charlie is kind.
("Charlie" "is" "kind" "+")
If something is quiet and smart then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If something is young and blue then it is kind.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Charlie is smart and Charlie is quiet then Charlie is young.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "young" "+"))
Charlie is kind.
True
1
proof
[(triple1)]
("Charlie" "is" "kind" "+")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is kind.[(triple1)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1