Anne is furry. Gary is furry. If something is quiet then it is not young. Kind, blue things are young. Kind things are smart. If Anne is kind then Anne is not smart. If Gary is blue then Gary is green. Smart things are quiet. Smart things are not quiet. If something is quiet and young then it is kind.
Anne is furry.
("Anne" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is quiet then it is not young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "-"))
Kind, blue things are young.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If Anne is kind then Anne is not smart.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "smart" "-"))
If Gary is blue then Gary is green.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "green" "+"))
Smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Smart things are not quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "-"))
If something is quiet and young then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Gary is not furry.
False
1
inv-proof
[(triple2)]
("Gary" "is" "furry" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Gary is furry.[(triple2)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2