Charlie is nice. Erin is blue. Fiona is kind. Gary is cold. All smart things are cold. If something is blue and cold then it is round.
Erin is blue.
@0: Charlie is nice.[(triple1)] Erin is blue.[(triple2)] Fiona is kind.[(triple3)] Gary is cold.[(triple4)]