Charlie is quiet. Charlie is red. Charlie is white. Erin is green. Erin is kind. Erin is not round. Gary is green. Gary is not kind. Gary is quiet. Gary is round. Gary is white. Gary is young. All young, red people are not green.
Erin is white.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is not round.[(triple6)] Gary is green.[(triple7)] Gary is not kind.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]