Anne is red. Anne is rough. Anne is smart. Erin is blue. Erin is kind. Fiona is quiet. Fiona is smart. If someone is red and rough then they are blue. If someone is blue and young then they are kind. All smart, blue people are young.
Anne is kind.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is blue.[(((triple1 triple2) -> rule1))] @2: Anne is young.[(((triple3 ((triple1 triple2) -> rule1)) -> rule3))] @3: Anne is kind.[(((((triple1 triple2) -> rule1) ((triple3 ((triple1 triple2) -> rule1)) -> rule3)) -> rule2))]