Harry is white. All white people are kind. If someone is nice then they are not young. Furry people are not nice. All kind people are green. If someone is nice then they are green. Green people are not furry.
Harry is cold.
@0: Harry is white.[(triple1)] @1: Harry is kind.[(((triple1) -> rule1))] @2: Harry is green.[(((((triple1) -> rule1)) -> rule4))] @3: Harry is not furry.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))]