Dave is nice. Erin is big. Erin is cold. Erin is nice. Erin is red. Erin is smart. Erin is white. Erin is not young. Fiona is big. Fiona is nice. Fiona is smart. Fiona is young. Harry is big. Harry is cold. Harry is smart. Harry is white. If something is red and not young then it is cold. If something is nice and not smart then it is cold. If something is cold then it is red. If Dave is smart and Dave is red then Dave is cold. All red things are big. Red things are cold. All big, white things are nice. If something is red and not big then it is white.
Erin is not big.