Charlie is red. Blue things are young. All red, quiet things are smart. If Charlie is smart then Charlie is young. If Charlie is blue and Charlie is nice then Charlie is green. Smart things are red. Nice things are young.
Charlie is nice.
@0: Charlie is red.[(triple1)]