Bob is cold. Charlie is not quiet. Dave is blue. Quiet people are white. If someone is young then they are cold. If someone is young and not blue then they are nice.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and not blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Charlie is not quiet.[(triple2)] Dave is blue.[(triple3)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3