Anne is green. Anne is nice. Charlie is quiet. Charlie is young. Fiona is big. Fiona is white. Gary is young. If someone is nice and green then they are round. All round, green people are young.
Anne is round.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is white.[(triple6)] Gary is young.[(triple7)] @1: Anne is round.[(((triple2 triple1) -> rule1))] @2: Anne is young.[(((((triple2 triple1) -> rule1) triple1) -> rule2))]