Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. Harry is big. Harry is not blue. Harry is cold. Harry is furry. Harry is red. Harry is smart. Harry is white. If something is smart and not white then it is not big.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is not blue.[(triple9)] Harry is red.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]