Anne is round. Erin is quiet. Harry is kind. If something is cold and not quiet then it is blue. If something is cold and kind then it is not round.
Anne is round.
("Anne" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is cold and not quiet then it is blue.
((("something" "is" "cold" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "blue" "+"))
If something is cold and kind then it is not round.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "-"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is round.[(triple1)] Erin is quiet.[(triple2)] Harry is kind.[(triple3)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3