Charlie is green. Harry is green. Harry is kind. Green people are white. All furry people are kind. All white, quiet people are furry. If Harry is quiet then Harry is furry. Furry, white people are kind. If someone is kind then they are red. All furry, red people are green. If Charlie is white and Charlie is quiet then Charlie is kind.
Charlie is quiet.
@0: Charlie is green.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is white.[(((triple1) -> rule1))] Harry is red.[(((triple3) -> rule6))] Harry is white.[(((triple2) -> rule1))]