Dave is kind. Dave is nice. Dave is red. If something is cold then it is kind. Round, green things are red. If Dave is not green then Dave is cold.
Dave is not cold.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)]