Anne is nice. Fiona is quiet. Harry is rough. All young things are not rough. All blue things are young. If something is quiet then it is young. If something is nice and blue then it is quiet. If something is quiet and not rough then it is cold. Rough things are cold.
Anne is young.
@0: Anne is nice.[(triple1)] Fiona is quiet.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is young.[(((triple2) -> rule3))] Harry is cold.[(((triple3) -> rule6))] @2: Fiona is not rough.[(((((triple2) -> rule3)) -> rule1))] @3: Fiona is cold.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule5))]