Bob is green. Dave is not smart. Harry is green. If something is kind and blue then it is big. All blue, furry things are big. If something is blue and not white then it is green.
Dave is not smart.
@0: Bob is green.[(triple1)] Dave is not smart.[(triple2)] Harry is green.[(triple3)]