Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is white. Erin is young. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is white. Gary is young. Young, white people are kind.
Gary is kind.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple6 triple5) -> rule1))] Erin is nice.[(triple4)] Erin is white.[(triple5)] Erin is young.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple12 triple11) -> rule1))] Gary is nice.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]