Harry is kind. Rough, green people are kind. All kind, green people are not cold. All kind people are green. If Harry is white then Harry is round. If Harry is green and Harry is not cold then Harry is white. If someone is round and not green then they are white.
Harry is white.
@0: Harry is kind.[(triple1)] @1: Harry is green.[(((triple1) -> rule3))] @2: Harry is not cold.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: Harry is white.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5))] @4: Harry is round.[(((((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5)) -> rule4))]