Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is round. Green things are nice. If Erin is big then Erin is cold. Big things are red. All blue things are round. Cold, round things are big. Nice things are cold. All nice things are green. If Erin is red then Erin is big.
Erin is not nice.