Charlie is green. Charlie is white. Charlie is not young. If Charlie is young and Charlie is white then Charlie is not blue. All rough people are smart. All rough people are white. If someone is smart then they are furry. Blue people are rough. All smart people are blue.
Charlie is not young.
@0: Charlie is green.[(triple1)] Charlie is not young.[(triple3)] Charlie is white.[(triple2)]