Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is white. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is white. All rough, red people are white. If someone is nice then they are white. All nice, furry people are red. If someone is furry and rough then they are white. If someone is nice then they are big. If someone is red and white then they are big. If someone is furry and not white then they are not red. If Anne is white and Anne is not big then Anne is red.
Dave is nice.