Dave is not big. Dave is cold. Erin is big. Erin is furry. Erin is not red. Harry is big. Harry is cold. All furry, green things are not red.
Dave is not smart.
@0: Dave is cold.[(triple2)] Dave is not big.[(triple1)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Erin is not red.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)]