Fiona is blue. Harry is cold. If someone is white then they are quiet. Quiet people are blue. Nice, blue people are kind. All cold people are blue. Blue, cold people are white. If someone is kind then they are quiet.
Fiona is smart.
@0: Fiona is blue.[(triple1)] Harry is cold.[(triple2)] @1: Harry is blue.[(((triple2) -> rule4))] @2: Harry is white.[(((((triple2) -> rule4) triple2) -> rule5))] @3: Harry is quiet.[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule1))]