Bob is not young. Fiona is furry. Gary is smart. Harry is furry. If something is furry then it is cold. All kind, cold things are blue. If Gary is young then Gary is nice.
Gary is furry.
@0: Bob is not young.[(triple1)] Fiona is furry.[(triple2)] Gary is smart.[(triple3)] Harry is furry.[(triple4)] @1: Fiona is cold.[(((triple2) -> rule1))] Harry is cold.[(((triple4) -> rule1))]