Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is nice. Charlie is not red. Charlie is white. Charlie is young. Erin is red. Gary is blue. Gary is not cold. Gary is nice. Gary is not red. If Erin is not red then Erin is not blue. If Erin is white and Erin is young then Erin is not blue. If Gary is young then Gary is not red. If someone is nice and not young then they are furry. If someone is blue and not young then they are cold. If someone is furry and not blue then they are not cold.
Erin is red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is not cold.[(triple2)] Charlie is not red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Erin is red.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple11)] Gary is not cold.[(triple10)] Gary is not red.[(triple12)]