Charlie is round. Fiona is nice. Harry is furry. If someone is furry then they are red. Red, round people are nice. Smart, nice people are young. If someone is furry then they are young. If Harry is nice then Harry is round. Red people are blue.
Harry is not furry.
@0: Charlie is round.[(triple1)] Fiona is nice.[(triple2)] Harry is furry.[(triple3)] @1: Harry is red.[(((triple3) -> rule1))] Harry is young.[(((triple3) -> rule4))] @2: Harry is blue.[(((((triple3) -> rule1)) -> rule6))]