Harry is cold. Harry is white. Harry is young. If someone is red then they are kind. Cold people are red. If someone is white and not cold then they are red.
Harry is not white.
@0: Harry is cold.[(triple1)] Harry is white.[(triple2)] Harry is young.[(triple3)] @1: Harry is red.[(((triple1) -> rule2))] @2: Harry is kind.[(((((triple1) -> rule2)) -> rule1))]