Charlie is red. Gary is nice. Harry is red. Kind, red things are quiet. All kind things are round. If Gary is cold then Gary is kind.
Charlie is cold.
@0: Charlie is red.[(triple1)] Gary is nice.[(triple2)] Harry is red.[(triple3)]