Charlie is not red. Charlie is smart. Charlie is young. If something is green and not blue then it is furry. If Charlie is blue then Charlie is red. If something is young and not smart then it is green. Green things are red. If Charlie is not smart then Charlie is nice. If Charlie is nice then Charlie is not furry.
Charlie is young.
@0: Charlie is not red.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)]