Bob is big. Charlie is smart. Charlie is young. Big, young things are white. If Charlie is young then Charlie is red. All young things are smart. Blue, young things are big. If something is white then it is furry. All young, white things are red. All red, young things are white. Smart, furry things are red.
Charlie is young.