Bob is big. Bob is smart. Bob is white. Charlie is big. Charlie is blue. Charlie is green. Charlie is smart. Charlie is white. Dave is big. Dave is green. Dave is white. Harry is big. Harry is blue. Harry is green. Harry is smart. If Bob is big then Bob is blue. Green people are big. If someone is green and big then they are white.
Dave is blue.