Erin is round. Erin is smart. Erin is young. If someone is green and not quiet then they are smart. All smart, round people are blue. Green people are blue. All quiet, round people are not cold. All blue, smart people are cold. If someone is cold and not round then they are green.
Erin is young.
@0: Erin is round.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is blue.[(((triple2 triple1) -> rule2))] @2: Erin is cold.[(((((triple2 triple1) -> rule2) triple2) -> rule5))]