Harry is young. Kind people are smart. If someone is young then they are kind. Cold, white people are kind.
Harry is red.
@0: Harry is young.[(triple1)] @1: Harry is kind.[(((triple1) -> rule2))] @2: Harry is smart.[(((((triple1) -> rule2)) -> rule1))]