Fiona is white. If someone is green and not white then they are young. If someone is round and cold then they are green. All white people are blue. Young people are not quiet. If someone is cold then they are round. Blue people are cold.
Fiona is round.
@0: Fiona is white.[(triple1)] @1: Fiona is blue.[(((triple1) -> rule3))] @2: Fiona is cold.[(((((triple1) -> rule3)) -> rule6))] @3: Fiona is round.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))] @4: Fiona is green.[(((((((((triple1) -> rule3)) -> rule6)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule2))]