Bob is big. Bob is furry. Bob is kind. Bob is rough. Erin is big. Erin is not green. Fiona is blue. Fiona is green. Fiona is rough. Harry is rough. Furry people are green. If someone is big then they are kind. If someone is rough then they are big. If someone is big and kind then they are smart. All rough, smart people are furry. If someone is kind and not green then they are smart.
Erin is smart.