Charlie is cold. Erin is cold. Gary is rough. Young, white people are cold. If Gary is smart then Gary is kind. Kind people are white. If someone is cold then they are kind. If someone is rough then they are young. If Gary is kind then Gary is not white. If someone is kind and not white then they are nice. White people are nice.
Charlie is not smart.
@0: Charlie is cold.[(triple1)] Erin is cold.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule4))] Erin is kind.[(((triple2) -> rule4))] Gary is young.[(((triple3) -> rule5))] @2: Charlie is white.[(((((triple1) -> rule4)) -> rule3))] Erin is white.[(((((triple2) -> rule4)) -> rule3))] @3: Charlie is nice.[(((((((triple1) -> rule4)) -> rule3)) -> rule8))] Erin is nice.[(((((((triple2) -> rule4)) -> rule3)) -> rule8))]