Erin is big. Erin is blue. Erin is round. All round people are quiet. Red people are quiet. All furry people are big.
Erin is round.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is round.[(triple3)] @1: Erin is quiet.[(((triple3) -> rule1))]