Bob is cold. Erin is not blue. Gary is red. Harry is cold. Red people are quiet. If Bob is not smart then Bob is red. Red people are young. If Harry is blue then Harry is not young. If Harry is blue then Harry is not smart. If someone is quiet then they are not nice. If Gary is cold then Gary is smart. If someone is red and not nice then they are not cold.
Gary is not nice.
@0: Bob is cold.[(triple1)] Erin is not blue.[(triple2)] Gary is red.[(triple3)] Harry is cold.[(triple4)] @1: Gary is quiet.[(((triple3) -> rule1))] Gary is young.[(((triple3) -> rule3))] @2: Gary is not nice.[(((((triple3) -> rule1)) -> rule6))] @3: Gary is not cold.[(((triple3 ((((triple3) -> rule1)) -> rule6)) -> rule8))]