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.
Harry is not round.
@0: Charlie is red.[(triple1)] Gary is nice.[(triple2)] Harry is red.[(triple3)]