Gary is nice. Harry is not nice. If something is blue then it is quiet. If Gary is smart and Gary is nice then Gary is not rough. Smart, quiet things are cold. If something is nice and green then it is rough. If something is green and not smart then it is not rough. If Harry is blue and Harry is green then Harry is nice.
Gary is nice.
("Gary" "is" "nice" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
If something is blue then it is quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Gary is smart and Gary is nice then Gary is not rough.
((("Gary" "is" "smart" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "rough" "-"))
Smart, quiet things are cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is nice and green then it is rough.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is green and not smart then it is not rough.
((("something" "is" "green" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "-"))
If Harry is blue and Harry is green then Harry is nice.
((("Harry" "is" "blue" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "nice" "+"))
Gary is nice.
True
1
proof
[(triple1)]
("Gary" "is" "nice" "+")
triple1
Harry is nice.
False
1
inv-proof
[(triple2)]
("Harry" "is" "nice" "+")
triple2
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Gary is nice.[(triple1)] Harry is not nice.[(triple2)]
Gary is nice.
("Gary" "is" "nice" "+")
triple1
Harry is not nice.
("Harry" "is" "nice" "-")
triple2