Harry is white. If someone is kind and not big then they are not young. All big people are young. If someone is white then they are kind. If Harry is kind then Harry is cold. If Harry is red then Harry is kind. All cold people are red.
Harry is not white.
@0: Harry is white.[(triple1)] @1: Harry is kind.[(((triple1) -> rule3))] @2: Harry is cold.[(((((triple1) -> rule3)) -> rule4))] @3: Harry is red.[(((((((triple1) -> rule3)) -> rule4)) -> rule6))]