Harry is not nice. If Harry is red and Harry is kind then Harry is nice. If someone is big then they are not white. If someone is nice then they are red.
Harry is not nice.
("Harry" "is" "nice" "-")
If Harry is red and Harry is kind then Harry is nice.
((("Harry" "is" "red" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "+"))
If someone is big then they are not white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Harry is not nice.
True
1
proof
[(triple1)]
("Harry" "is" "nice" "-")
triple1
Harry is nice.
False
1
inv-proof
[(triple1)]
("Harry" "is" "nice" "+")
triple1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Harry is not nice.[(triple1)]
Harry is not nice.
("Harry" "is" "nice" "-")
triple1