Harry is cold. If someone is smart and cold then they are nice. If someone is cold then they are nice. White, rough people are cold. Rough people are nice. If Harry is rough then Harry is nice. All cold people are white.
Harry is not cold.
@0: Harry is cold.[(triple1)] @1: Harry is nice.[(((triple1) -> rule2))] Harry is white.[(((triple1) -> rule6))]