Anne is red. Anne is young. Dave is not big. Dave is cold. Dave is green. Dave is not red. Dave is round. Dave is not young. Gary is big. Gary is green. Gary is not red. Gary is not young. Harry is cold. Harry is green. Harry is round. All round, nice things are not big. If something is red then it is big. All nice, young things are red. If something is big and not nice then it is green. If Harry is nice then Harry is round. If something is big and cold then it is green. Nice things are not big. If something is green and not round then it is cold.
Anne is big.