Fiona is blue. White, blue people are quiet. If Fiona is round and Fiona is cold then Fiona is white. Red people are white. Blue people are red. Blue people are round. If someone is quiet then they are cold.
Fiona is white.
@0: Fiona is blue.[(triple1)] @1: Fiona is red.[(((triple1) -> rule4))] Fiona is round.[(((triple1) -> rule5))] @2: Fiona is white.[(((((triple1) -> rule4)) -> rule3))] @3: Fiona is quiet.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule1))] @4: Fiona is cold.[(((((((((triple1) -> rule4)) -> rule3) triple1) -> rule1)) -> rule6))]