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