Bob is cold. Charlie is furry. Erin is cold. Gary is smart. Quiet people are not red. If Bob is smart then Bob is blue. Blue, red people are furry.
Erin is blue.
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] Gary is smart.[(triple4)]