Anne is furry. Dave is red. Harry is red. All nice people are smart. All green, furry people are not smart. All smart people are not red.
Dave is not smart.
@0: Anne is furry.[(triple1)] Dave is red.[(triple2)] Harry is red.[(triple3)]