Harry is nice. If someone is cold then they are blue. Blue people are red. If Harry is blue and Harry is cold then Harry is red. All quiet, cold people are red. If someone is big and round then they are blue. All blue, cold people are quiet.
Harry is not nice.
@0: Harry is nice.[(triple1)]