Bob is green. Charlie is smart. Dave is smart. If something is furry and green then it is kind. If Charlie is furry then Charlie is nice. Cold things are kind. Kind, green things are nice. If something is white and nice then it is furry. If something is furry and smart then it is cold.
Dave is white.
@0: Bob is green.[(triple1)] Charlie is smart.[(triple2)] Dave is smart.[(triple3)]