Anne is kind. Harry is nice. Kind things are not quiet. Kind things are not blue. All smart, white things are not nice. White things are nice. If Harry is blue then Harry is kind. If something is kind and not quiet then it is cold.
Anne is kind.
("Anne" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Kind things are not quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "-"))
Kind things are not blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "-"))
All smart, white things are not nice.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
White things are nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Harry is blue then Harry is kind.
((("Harry" "is" "blue" "+")) -> ("Harry" "is" "kind" "+"))
If something is kind and not quiet then it is cold.
((("something" "is" "kind" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "cold" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is kind.[(triple1)] Harry is nice.[(triple2)] @1: Anne is not blue.[(((triple1) -> rule2))] Anne is not quiet.[(((triple1) -> rule1))] @2: Anne is cold.[(((triple1 ((triple1) -> rule1)) -> rule6))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
int2