Anne is green. Bob is smart. Dave is furry. Dave is nice. Dave is red. Dave is smart. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is red. If something is green then it is nice. All nice, furry things are smart. If something is red then it is green. Furry, green things are big. Red things are green. If something is nice then it is blue. All smart things are big. All big things are red.
Bob is red.