Dave is big. Fiona is green. All green things are red. Red things are nice. All green, red things are smart. All big, nice things are quiet. All green, big things are smart. If Fiona is red and Fiona is smart then Fiona is round.
Fiona is red.