Charlie is kind. Charlie is nice. Charlie is not smart. If Charlie is red and Charlie is kind then Charlie is quiet. If someone is nice and smart then they are kind. Young, quiet people are kind. If someone is red and not smart then they are young. If someone is smart and kind then they are young. Young, kind people are nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
If Charlie is red and Charlie is kind then Charlie is quiet.
((("Charlie" "is" "red" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "quiet" "+"))
If someone is nice and smart then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Young, quiet people are kind.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and not smart then they are young.
((("someone" "is" "red" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
If someone is smart and kind then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Young, kind people are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is not smart.[(triple3)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple3