Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is young. Erin is furry. Erin is nice. Erin is quiet. Erin is white. Gary is quiet. Gary is rough. All young, blue people are white.
Gary is not white.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is white.[(((triple4 triple1) -> rule1))]