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.
Bob is not green.
@0: Bob is green.[(triple1)] Dave is not smart.[(triple2)] Harry is green.[(triple3)]