Anne is big. Anne is cold. Anne is nice. Charlie is big. Charlie is cold. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is round. Fiona is big. Smart people are big. If Dave is big then Dave is nice. Round people are smart. If someone is red and nice then they are white. All smart, red people are round. All round, white people are red. If someone is nice then they are red. If Charlie is cold then Charlie is round.
Dave is smart.