Fiona is red. If Fiona is round and Fiona is red then Fiona is cold. All quiet, kind things are round. All red things are white. Round things are kind. All white things are young. If Fiona is young then Fiona is round. All quiet, round things are white. All cold, round things are kind.
Fiona is red.
@0: Fiona is red.[(triple1)] @1: Fiona is white.[(((triple1) -> rule3))] @2: Fiona is young.[(((((triple1) -> rule3)) -> rule5))] @3: Fiona is round.[(((((((triple1) -> rule3)) -> rule5)) -> rule6))] @4: Fiona is cold.[(((((((((triple1) -> rule3)) -> rule5)) -> rule6) triple1) -> rule1))] Fiona is kind.[(((((((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule8))]