Charlie is blue. Dave is rough. All kind, white things are quiet. All smart, blue things are young. If something is quiet then it is young. All kind things are smart. If Charlie is blue and Charlie is smart then Charlie is white. If something is smart then it is kind.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Dave is rough.[(triple2)]