Dave is cold. Dave is kind. Dave is nice. Gary is furry. Gary is quiet. Harry is not blue. Harry is green. If something is nice and cold then it is green. Quiet things are green. Cold, blue things are not green. All furry things are green. If Gary is not furry then Gary is blue. If Gary is cold then Gary is not kind.
Gary is not furry.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Harry is green.[(triple7)] Harry is not blue.[(triple6)] @1: Dave is green.[(((triple3 triple1) -> rule1))] Gary is green.[(((triple4) -> rule4) OR ((triple5) -> rule2))]