Bob is big. Bob is nice. Bob is quiet. Bob is white. Dave is nice. Dave is red. Dave is smart. Fiona is smart. Harry is nice. Harry is red. All big people are red. If someone is quiet and red then they are cold. All nice people are smart. If someone is red and big then they are nice. Quiet people are red. If someone is smart then they are big. Nice people are quiet. All cold, quiet people are nice. If someone is cold and big then they are smart.
Fiona is quiet.