Bob is smart. Charlie is green. Erin is big. Fiona is smart. Rough, furry people are red. All red people are furry. If someone is furry and rough then they are green. If someone is big then they are white. Big, green people are furry. White people are furry. White people are big. Big people are white.
Charlie is not smart.