Anne is rough. Anne is round. Anne is young. Dave is big. Dave is kind. Dave is not red. Dave is rough. Dave is round. Erin is red. Harry is young. All red, rough people are white. If Anne is red then Anne is big. Round people are big. If someone is white then they are round. Young, round people are rough. If someone is kind and young then they are big. Red people are rough. Big people are kind. If someone is white and not round then they are big.
Dave is young.