Anne is young. Fiona is quiet. Gary is quiet. Harry is not white. Young people are quiet. If someone is quiet then they are white. If someone is white and young then they are cold.
Harry is quiet.
@0: Anne is young.[(triple1)] Fiona is quiet.[(triple2)] Gary is quiet.[(triple3)] Harry is not white.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))] Fiona is white.[(((triple2) -> rule2))] Gary is white.[(((triple3) -> rule2))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is cold.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule3))]