Fiona is green. Smart people are cold. Smart people are cold. Green people are smart. If someone is smart and not rough then they are not blue. If Fiona is blue then Fiona is smart. If Fiona is cold then Fiona is not young.
Fiona is not young.
@0: Fiona is green.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule3))] @2: Fiona is cold.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))] @3: Fiona is not young.[(((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2)) -> rule6))]