Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is smart. Harry is big. Harry is not blue. Harry is kind. Harry is quiet. Harry is smart. If Harry is cold and Harry is furry then Harry is kind.
Harry is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Charlie is smart.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple8)] Harry is not blue.[(triple7)] Harry is quiet.[(triple9)] Harry is smart.[(triple10)]