Anne is cold. Anne is quiet. Bob is round. Bob is smart. Fiona is quiet. Harry is blue. Harry is smart. If something is round then it is red. All red, round things are young.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Fiona is quiet.[(triple5)] Harry is blue.[(triple6)] Harry is smart.[(triple7)] @1: Bob is red.[(((triple3) -> rule1))] @2: Bob is young.[(((((triple3) -> rule1) triple3) -> rule2))]