Charlie is kind. Harry is cold. All round people are kind. If Charlie is kind then Charlie is red. If someone is furry and round then they are kind. All furry, kind people are rough. Cold, red people are green. If Charlie is red then Charlie is cold. If Harry is green and Harry is kind then Harry is furry. If someone is furry then they are round.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Harry is cold.[(triple2)] @1: Charlie is red.[(((triple1) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule6))] @3: Charlie is green.[(((((((triple1) -> rule2)) -> rule6) ((triple1) -> rule2)) -> rule5))]