Harry is young. All cold people are not smart. If someone is red and cold then they are not smart. If someone is white and young then they are not smart. Young, red people are smart. If Harry is rough and Harry is not red then Harry is not cold. If someone is nice and young then they are cold. If Harry is young then Harry is nice. If someone is smart then they are white.
Harry is young.
@0: Harry is young.[(triple1)] @1: Harry is nice.[(((triple1) -> rule7))] @2: Harry is cold.[(((((triple1) -> rule7) triple1) -> rule6))] @3: Harry is not smart.[(((((((triple1) -> rule7) triple1) -> rule6)) -> rule1))]