Charlie is quiet. Gary is smart. Harry is cold. If someone is smart and not rough then they are green. If Charlie is smart then Charlie is red.
Harry is rough.
@0: Charlie is quiet.[(triple1)] Gary is smart.[(triple2)] Harry is cold.[(triple3)]