Bob is nice. Charlie is red. Charlie is young. Dave is red. Dave is round. Erin is nice. Erin is rough. If Erin is nice and Erin is rough then Erin is quiet. Nice things are red. If something is quiet then it is big. Red things are nice. All red things are young. If something is young and red then it is quiet. If Bob is red and Bob is big then Bob is rough.
Erin is quiet.