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