Dave is nice. Dave is quiet. Dave is red. Erin is green. Erin is quiet. Erin is red. Erin is smart. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. All red things are smart. Quiet things are green. If Erin is nice and Erin is furry then Erin is young. If Dave is nice then Dave is furry. If something is furry and green then it is quiet. All green, young things are red. Green things are nice. All green things are nice.
Erin is not young.