Anne is white. Dave is cold. Dave is smart. Kind people are white. If someone is kind and smart then they are nice. All kind people are cold.
Dave is cold.
@0: Anne is white.[(triple1)] Dave is cold.[(triple2)] Dave is smart.[(triple3)]