Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is red. Erin is rough. Erin is young. All quiet, blue things are young. If something is rough and blue then it is cold. All cold things are red. Young things are big. All young things are rough. If Bob is red then Bob is big.
Erin is not big.