Bob is nice. Charlie is nice. Harry is blue. White things are furry. If Charlie is white then Charlie is blue. All blue, cold things are nice. If something is white and smart then it is furry. If Bob is blue then Bob is nice. Cold, furry things are nice. Furry things are nice. All blue, kind things are nice.
Harry is not blue.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Harry is blue.[(triple3)]