Erin is white. All white, young people are blue. White, nice people are rough. All young people are white. White people are kind. If someone is blue and white then they are nice. Rough people are big.
Erin is nice.
@0: Erin is white.[(triple1)] @1: Erin is kind.[(((triple1) -> rule4))]