Erin is cold. Erin is green. Erin is red. All cold, red people are quiet.
Erin is young.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is red.[(triple3)] @1: Erin is quiet.[(((triple1 triple3) -> rule1))]