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.
Fiona is not round.
@0: Charlie is nice.[(triple1)] Erin is blue.[(triple2)] Fiona is kind.[(triple3)] Gary is cold.[(triple4)]