Fiona is cold. Cold, white things are big. If Fiona is rough then Fiona is young. White things are not young. White, quiet things are not young. If Fiona is cold then Fiona is white. If something is white and not young then it is not blue.
Fiona is cold.
@0: Fiona is cold.[(triple1)] @1: Fiona is white.[(((triple1) -> rule5))] @2: Fiona is big.[(((triple1 ((triple1) -> rule5)) -> rule1))] Fiona is not young.[(((((triple1) -> rule5)) -> rule3))] @3: Fiona is not blue.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule6))]