Dave is cold. Dave is furry. Dave is nice. Dave is not red. Dave is rough. Dave is white. Erin is big. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is white. Fiona is big. Fiona is furry. Fiona is not nice. Fiona is red. If someone is not nice and not big then they are rough. If someone is big then they are rough.
Erin is not nice.