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.
Bob is not blue.
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] Gary is smart.[(triple4)]