Bob is red. Charlie is kind. Charlie is nice. Dave is kind. Harry is blue. Harry is kind. Harry is nice. All cold, nice people are furry. If Bob is kind then Bob is cold. If someone is round and blue then they are red. All cold people are nice. All furry people are round. If Charlie is blue then Charlie is furry. If Charlie is round and Charlie is furry then Charlie is red. If Dave is red and Dave is furry then Dave is kind.
Harry is nice.
@0: Bob is red.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Dave is kind.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is nice.[(triple7)]