Dave is big. Dave is green. Dave is quiet. Erin is big. Fiona is big. Fiona is green. Fiona is quiet. Fiona is smart. Harry is big. Harry is furry. Harry is quiet. Harry is smart. Furry things are green. All quiet, rough things are furry. All furry, green things are red. If something is big and red then it is smart. If Fiona is rough and Fiona is furry then Fiona is red. Smart things are quiet. Rough, red things are quiet. Rough, smart things are red. If something is big and not rough then it is furry.
Erin is not rough.