Dave is red. Erin is not cold. Erin is nice. Erin is quiet. Gary is not cold. Gary is red. Harry is quiet. All quiet things are nice. If Harry is cold and Harry is red then Harry is blue. If Harry is green then Harry is not kind. If something is red and not nice then it is not green. Nice things are blue. Red, kind things are blue.
Dave is not quiet.
@0: Dave is red.[(triple1)] Erin is nice.[(triple3 OR ((triple4) -> rule1))] Erin is not cold.[(triple2)] Erin is quiet.[(triple4)] Gary is not cold.[(triple5)] Gary is red.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is blue.[(((triple3) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Harry is nice.[(((triple7) -> rule1))] @2: Harry is blue.[(((((triple7) -> rule1)) -> rule5))]