Harry is not nice. If Harry is red and Harry is kind then Harry is nice. If someone is big then they are not white. If someone is nice then they are red.
Harry is not nice.
@0: Harry is not nice.[(triple1)]