Bob is round. Charlie is smart. Dave is white. Harry is smart. If Dave is red then Dave is nice. All white, furry things are cold.
Bob is round.
@0: Bob is round.[(triple1)] Charlie is smart.[(triple2)] Dave is white.[(triple3)] Harry is smart.[(triple4)]