Anne is nice. Fiona is quiet. Gary is blue. Harry is cold. If something is quiet then it is nice. White, nice things are cold.
Fiona is quiet.
@0: Anne is nice.[(triple1)] Fiona is quiet.[(triple2)] Gary is blue.[(triple3)] Harry is cold.[(triple4)] @1: Fiona is nice.[(((triple2) -> rule1))]