Bob is young. Charlie is red. Erin is cold. Fiona is red. If something is young and not round then it is red. If something is white and not round then it is big. If something is not round then it is smart. All young things are smart. Red things are white. If Fiona is round and Fiona is not red then Fiona is young.
Bob is not big.