Charlie is red. Gary is cold. Harry is furry. If someone is big and blue then they are furry. Big, round people are blue. All cold, big people are round. All blue people are smart. All smart people are cold. Round people are blue.
Gary is not round.
@0: Charlie is red.[(triple1)] Gary is cold.[(triple2)] Harry is furry.[(triple3)]