Fiona is cold. If Fiona is green and Fiona is young then Fiona is nice. Young things are not green. If something is nice then it is green. If something is rough then it is not round. Cold things are quiet. All cold, quiet things are young. Young things are cold. All nice things are cold.
Fiona is cold.
@0: Fiona is cold.[(triple1)] @1: Fiona is quiet.[(((triple1) -> rule5))] @2: Fiona is young.[(((triple1 ((triple1) -> rule5)) -> rule6))] @3: Fiona is not green.[(((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule2))]