Bob is big. Bob is round. Dave is big. Dave is round. Dave is smart. Erin is big. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. Fiona is big. Fiona is red. Fiona is round. If Fiona is smart then Fiona is white. All big, red people are rough. If someone is round then they are red. If someone is white then they are big. White people are smart. White people are red. All big people are nice. If Erin is big then Erin is white.
Fiona is not rough.