Charlie is not young. Dave is smart. Erin is smart. Gary is kind. All smart, cold people are not blue. If someone is young then they are not blue. If Erin is quiet and Erin is not furry then Erin is cold. If Charlie is cold then Charlie is not young. Kind people are smart. If someone is blue and not furry then they are young. If someone is kind and not furry then they are young. If someone is smart then they are cold.
Gary is cold.
@0: Charlie is not young.[(triple1)] Dave is smart.[(triple2)] Erin is smart.[(triple3)] Gary is kind.[(triple4)] @1: Dave is cold.[(((triple2) -> rule8))] Erin is cold.[(((triple3) -> rule8))] Gary is smart.[(((triple4) -> rule5))] @2: Dave is not blue.[(((triple2 ((triple2) -> rule8)) -> rule1))] Erin is not blue.[(((triple3 ((triple3) -> rule8)) -> rule1))] Gary is cold.[(((((triple4) -> rule5)) -> rule8))] @3: Gary is not blue.[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule8)) -> rule1))]