Charlie is not red. All quiet things are not rough. If something is cold and round then it is rough. If something is quiet and furry then it is not green.
Charlie is not red.
("Charlie" "is" "red" "-")
All quiet things are not rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "-"))
If something is cold and round then it is rough.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is quiet and furry then it is not green.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
Charlie is not red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Charlie is red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is not red.[(triple1)]
Charlie is not red.
("Charlie" "is" "red" "-")
triple1