Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is kind. Dave is not nice. Dave is smart. Harry is big. Harry is kind. Harry is not nice. Harry is smart. If someone is kind and not big then they are smart. If Dave is big and Dave is cold then Dave is not young.
Harry is not young.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Dave is not nice.[(triple11)] Dave is smart.[(triple12)] Harry is big.[(triple13)] Harry is kind.[(triple14)] Harry is not nice.[(triple15)] Harry is smart.[(triple16)]