Charlie is white. Erin is blue. If someone is red and white then they are blue. If someone is rough and red then they are white. If someone is white then they are rough. If someone is kind then they are cold. All white people are blue. If someone is rough and kind then they are white. All rough people are kind. All kind people are smart.
Erin is not red.
@0: Charlie is white.[(triple1)] Erin is blue.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule5))] Charlie is rough.[(((triple1) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule3)) -> rule7))] @3: Charlie is cold.[(((((((triple1) -> rule3)) -> rule7)) -> rule4))] Charlie is smart.[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]