Anne is smart. Bob is smart. Charlie is quiet. Dave is kind. If something is nice then it is quiet. If Dave is kind and Dave is nice then Dave is smart. If something is young and smart then it is white. If something is quiet and young then it is kind. Young, white things are nice. If Anne is kind then Anne is smart. If Charlie is red then Charlie is young. All red, kind things are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is kind.
("Dave" "is" "kind" "+")
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If Dave is kind and Dave is nice then Dave is smart.
((("Dave" "is" "kind" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "smart" "+"))
If something is young and smart then it is white.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is quiet and young then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Young, white things are nice.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Anne is kind then Anne is smart.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "smart" "+"))
If Charlie is red then Charlie is young.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "young" "+"))
All red, kind things are smart.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Anne is smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Charlie is quiet.[(triple3)] Dave is kind.[(triple4)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4