Bob is green. Charlie is nice. Dave is furry. Erin is cold. All green things are young. If Erin is nice then Erin is young. If Bob is furry then Bob is young. If something is cold then it is red. If something is red then it is furry. All nice, furry things are green.
Erin is cold.