Anne is blue. Anne is cold. Charlie is smart. Erin is big. Erin is cold. Gary is big. Gary is green. Furry people are smart. Cold, green people are smart.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)]