Erin is not cold. Erin is quiet. Gary is not smart. If someone is blue and red then they are not smart. If someone is round and smart then they are white. Smart people are white. White, round people are cold. If someone is blue then they are red. If Gary is cold then Gary is blue. All smart people are quiet. If someone is blue then they are round.
Erin is smart.
@0: Erin is not cold.[(triple1)] Erin is quiet.[(triple2)] Gary is not smart.[(triple3)]