Anne is quiet. Fiona is young. If someone is round and red then they are not white. If someone is blue and red then they are cold. All quiet people are blue. All young, quiet people are blue. If Fiona is white and Fiona is cold then Fiona is quiet. All cold people are not quiet.
Fiona is white.
@0: Anne is quiet.[(triple1)] Fiona is young.[(triple2)] @1: Anne is blue.[(((triple1) -> rule3))]