Anne is blue. Fiona is young. Harry is not rough. Young things are cold. If Harry is round then Harry is not young. Round things are quiet. If something is young then it is quiet. If Anne is blue and Anne is not cold then Anne is kind. Young things are rough. If something is quiet and kind then it is rough. If something is young and rough then it is kind.
Anne is blue.
@0: Anne is blue.[(triple1)] Fiona is young.[(triple2)] Harry is not rough.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule1))] Fiona is quiet.[(((triple2) -> rule4))] Fiona is rough.[(((triple2) -> rule6))] @2: Fiona is kind.[(((triple2 ((triple2) -> rule6)) -> rule8))]