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