Fiona is red. If someone is red then they are nice. If someone is kind and red then they are white. If someone is nice then they are kind.
Fiona is not round.
@0: Fiona is red.[(triple1)] @1: Fiona is nice.[(((triple1) -> rule1))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Fiona is white.[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule2))]