Bob is cold. Bob is green. Bob is quiet. Bob is round. Erin is smart. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. All cold people are quiet. Cold, big people are smart. All big people are green. If someone is round then they are quiet. If Bob is round and Bob is cold then Bob is quiet. All green people are smart.
Erin is not green.