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.
Erin is not big.
@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)]