Charlie is big. Charlie is round. Charlie is smart. Charlie is white. Erin is big. Erin is round. Erin is white. Erin is young. Gary is kind. Gary is round. Gary is smart. Gary is white. Young people are round.
Erin is not white.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is round.[(triple6 OR ((triple8) -> rule1))] Erin is white.[(triple7)] Erin is young.[(triple8)] Gary is kind.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)]