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