Bob is big. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is white. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Erin is red. Erin is white. Erin is young. If Erin is white then Erin is big. If Charlie is white and Charlie is young then Charlie is big. If something is quiet then it is young. Red things are young. All nice things are red. All nice things are big. Young things are quiet. All young, big things are white.
Charlie is white.