Bob is white. Charlie is not cold. Erin is not blue. Harry is cold. All white, quiet things are not nice. If something is big and not blue then it is quiet.
Bob is white.
("Bob" "is" "white" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
All white, quiet things are not nice.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "-"))
If something is big and not blue then it is quiet.
((("something" "is" "big" "+") ("something" "is" "blue" "~")) -> ("something" "is" "quiet" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Charlie is cold.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "quiet" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is white.[(triple1)] Charlie is not cold.[(triple2)] Erin is not blue.[(triple3)] Harry is cold.[(triple4)]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4