Fiona is white. If someone is smart and not young then they are cold. All white people are round. If someone is young then they are not white.
Fiona is red.
@0: Fiona is white.[(triple1)] @1: Fiona is round.[(((triple1) -> rule2))]