Anne is big. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is big. Dave is green. Dave is quiet. Dave is rough. Dave is white. Harry is big. Harry is red. Harry is rough. Harry is white. If Anne is red and Anne is big then Anne is white.
Dave is red.