Dave is green. Erin is red. Harry is white. If someone is young and red then they are white. White, red people are cold. All red people are young. Young people are red. All young, cold people are red. All big, kind people are cold.
Erin is white.
@0: Dave is green.[(triple1)] Erin is red.[(triple2)] Harry is white.[(triple3)] @1: Erin is young.[(((triple2) -> rule3))] @2: Erin is white.[(((((triple2) -> rule3) triple2) -> rule1))] @3: Erin is cold.[(((((((triple2) -> rule3) triple2) -> rule1) triple2) -> rule2))]