Bob is big. Bob is furry. Bob is quiet. Bob is round. Charlie is big. Charlie is furry. Charlie is not green. Dave is furry. Dave is green. Dave is not nice. Dave is round. Dave is smart. Gary is not nice. Gary is quiet. Gary is smart. If someone is green and not quiet then they are smart. If someone is not round then they are big.
Dave is quiet.