Harry is smart. All rough, smart things are big. If something is green then it is cold. Rough things are smart. All cold things are smart. All rough things are kind. If Harry is not cold then Harry is not big. All big things are quiet. If something is kind and green then it is not quiet.
Harry is smart.
@0: Harry is smart.[(triple1)]