Erin is white. White, rough people are kind. Young people are kind. If someone is cold and young then they are not kind. If someone is kind then they are young. Young, quiet people are smart. All white people are rough.
Erin is rough.
@0: Erin is white.[(triple1)] @1: Erin is rough.[(((triple1) -> rule6))] @2: Erin is kind.[(((triple1 ((triple1) -> rule6)) -> rule1))] @3: Erin is young.[(((((triple1 ((triple1) -> rule6)) -> rule1)) -> rule4))]