Anne is furry. Anne is rough. Fiona is smart. Fiona is white. Gary is furry. Gary is rough. Gary is white. Furry, rough people are smart.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] @1: Anne is smart.[(((triple1 triple2) -> rule1))] Gary is smart.[(((triple5 triple6) -> rule1))]