Gary is not round. Gary is young. Harry is quiet. If something is white and not round then it is smart. If something is round then it is not smart. Smart, furry things are not white.
Gary is not round.
("Gary" "is" "round" "-")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is white and not round then it is smart.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "+"))
If something is round then it is not smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "-"))
Smart, furry things are not white.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
Gary is young.
True
1
proof
[(triple2)]
("Gary" "is" "young" "+")
triple2
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Gary is not round.[(triple1)] Gary is young.[(triple2)] Harry is quiet.[(triple3)]
Gary is not round.
("Gary" "is" "round" "-")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3