Charlie is nice. Charlie is smart. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Fiona is nice. Fiona is smart. Big, young things are nice. If something is quiet and nice then it is smart. All big things are young. If something is quiet then it is green. Young things are quiet. If Fiona is green then Fiona is red.
Charlie is big.