Anne is red. Charlie is white. Charlie is young. Dave is round. Fiona is cold. Fiona is round. Fiona is white. If someone is cold then they are young. If someone is quiet and round then they are smart. All round people are quiet.
Dave is young.
@0: Anne is red.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Dave is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Dave is quiet.[(((triple4) -> rule3))] Fiona is quiet.[(((triple6) -> rule3))] Fiona is young.[(((triple5) -> rule1))] @2: Dave is smart.[(((((triple4) -> rule3) triple4) -> rule2))] Fiona is smart.[(((((triple6) -> rule3) triple6) -> rule2))]