Charlie is kind. Charlie is round. Erin is blue. Erin is young. Gary is blue. Gary is smart. Harry is cold. Harry is red. Harry is round. Harry is young. If Erin is red then Erin is blue.
Erin is cold.
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Erin is blue.[(triple3)] Erin is young.[(triple4)] Gary is blue.[(triple5)] Gary is smart.[(triple6)] Harry is cold.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)]