Bob is not big. Bob is blue. Bob is cold. Bob is not rough. Bob is white. Charlie is rough. Charlie is not young. Erin is big. Erin is rough. Erin is white. Erin is young. Gary is blue. Gary is cold. Gary is green. Gary is white. Gary is not young. White, young people are cold.
Charlie is white.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not big.[(triple1)] Bob is not rough.[(triple4)] Bob is white.[(triple5)] Charlie is not young.[(triple7)] Charlie is rough.[(triple6)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is not young.[(triple16)] Gary is white.[(triple15)] @1: Erin is cold.[(((triple10 triple11) -> rule1))]