Bob is green. Erin is round. Erin is smart. Harry is cold. Harry is green. Harry is round. Harry is white. White, green things are smart. If something is red and smart then it is cold. Cold, green things are round. If something is red then it is green. All green things are white. All nice, green things are round.
Erin is not smart.