Anne is smart. Bob is kind. Bob is rough. Bob is white. Charlie is not quiet. Charlie is white. Harry is kind. All cold, white things are kind.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All cold, white things are kind.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Anne is smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Charlie is not white.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "white" "-")
triple6
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is white.[(triple6)] Harry is kind.[(triple7)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7