Anne is blue. Erin is furry. Erin is smart. All blue things are smart. All big, rough things are smart. Blue things are big. If Anne is big and Anne is red then Anne is smart. Kind, big things are smart. All big, red things are rough.
Erin is big.