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