Dave is big. Dave is green. Dave is kind. Dave is not nice. Dave is not red. Dave is round. Dave is young. Erin is big. Erin is not kind. Erin is nice. Erin is red. Erin is not young. If something is young then it is big. Round, kind things are green. If Erin is round and Erin is nice then Erin is kind. If Dave is red then Dave is not kind. If Erin is young and Erin is round then Erin is green. If something is not big then it is red.
Dave is green.