Anne is big. Anne is green. Anne is red. Bob is big. Bob is quiet. Bob is white. Dave is not quiet. Dave is not round. Dave is smart. Harry is big. Harry is green. Harry is not quiet. Harry is red. Harry is not round. Harry is smart. Harry is white. Quiet, green people are red. If someone is round and not green then they are big. Red people are smart. If someone is not round then they are red. If someone is round and not smart then they are white. If someone is not red then they are not smart.
Bob is not round.