Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Gary is rough. Gary is round. Gary is young. All red, blue things are rough. All blue things are rough. All blue, cold things are rough. If something is nice and young then it is blue. Blue things are young. All blue things are rough.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)]