Charlie is not green. Erin is cold. Fiona is young. Harry is furry. If Fiona is young and Fiona is not green then Fiona is furry. Blue, green things are cold. If something is young then it is cold. If Fiona is green and Fiona is cold then Fiona is not white. If something is furry then it is white. If something is furry and white then it is young. If something is cold and not furry then it is round. If Charlie is not cold then Charlie is not round.
Harry is not furry.
@0: Charlie is not green.[(triple1)] Erin is cold.[(triple2)] Fiona is young.[(triple3)] Harry is furry.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule3))] Harry is white.[(((triple4) -> rule5))] @2: Harry is young.[(((triple4 ((triple4) -> rule5)) -> rule6))] @3: Harry is cold.[(((((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3))]