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