Charlie is not nice. Charlie is not red. Charlie is rough. Charlie is not round. Charlie is young. Erin is not nice. Erin is rough. Erin is not young. Gary is quiet. Gary is red. If someone is red and not round then they are not young. If someone is green and not rough then they are red. If someone is red and not young then they are quiet.
Gary is green.
@0: Charlie is not nice.[(triple1)] Charlie is not red.[(triple2)] Charlie is not round.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple5)] Erin is not nice.[(triple6)] Erin is not young.[(triple8)] Erin is rough.[(triple7)] Gary is quiet.[(triple9)] Gary is red.[(triple10)]