Charlie is kind. If Charlie is kind and Charlie is not nice then Charlie is young. All kind, young people are big. All kind, big people are cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
If Charlie is kind and Charlie is not nice then Charlie is young.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "nice" "~")) -> ("Charlie" "is" "young" "+"))
All kind, young people are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All kind, big people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
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 big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is kind.[(triple1)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1