Fiona is cold. Fiona is quiet. Harry is quiet. All quiet things are cold. If something is green then it is nice. If something is quiet and round then it is cold. Smart, quiet things are nice. Round things are blue. If Fiona is smart and Fiona is round then Fiona is blue.
Harry is nice.
@0: Fiona is cold.[(triple1 OR ((triple2) -> rule1))] Fiona is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is cold.[(((triple3) -> rule1))]