Charlie is young. Gary is young. Harry is cold. If someone is blue and young then they are red. If someone is smart and blue then they are cold. All furry people are round. All young, furry people are blue. Cold people are blue. If someone is young and smart then they are round.
Charlie is young.
@0: Charlie is young.[(triple1)] Gary is young.[(triple2)] Harry is cold.[(triple3)] @1: Harry is blue.[(((triple3) -> rule5))]