Anne is big. Anne is nice. Anne is red. Anne is rough. Anne is smart. Dave is big. Dave is nice. Dave is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Harry is smart. If someone is smart then they are rough. Nice people are furry. Rough, big people are red. If Fiona is red then Fiona is smart. If someone is nice and big then they are smart. Rough people are nice. Nice people are furry. If someone is furry then they are big. If someone is smart and not rough then they are not nice.
Harry is not nice.