Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is not red. Harry is smart. If Harry is not nice then Harry is smart.
Harry is nice.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3)] Harry is nice.[(triple4)] Harry is not red.[(triple6)] Harry is quiet.[(triple5)] Harry is smart.[(triple7)]