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 red.
@0: Anne is furry.[(triple1)] Dave is red.[(triple2)] Harry is red.[(triple3)]