Anne is smart. Charlie is big. Charlie is rough. Charlie is smart. Erin is big. Erin is red. Fiona is red. If something is rough and red then it is cold.
Anne is smart.
@0: Anne is smart.[(triple1)] Charlie is big.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Fiona is red.[(triple7)]