Anne is red. Dave is red. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Gary is smart. Young, quiet things are red. All smart, red things are green.
Anne is rough.
@0: Anne is red.[(triple1)] Dave is red.[(triple2)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is red.[(((triple6 triple3) -> rule1))]