Bob is quiet. Harry is kind. Kind people are white. If Harry is not green and Harry is not quiet then Harry is not kind. If Harry is not kind and Harry is not quiet then Harry is not blue. If someone is kind then they are not nice. If someone is furry and not kind then they are nice. All kind people are furry. If someone is green and not white then they are furry. If someone is white and not nice then they are blue.
Bob is green.
@0: Bob is quiet.[(triple1)] Harry is kind.[(triple2)] @1: Harry is furry.[(((triple2) -> rule6))] Harry is not nice.[(((triple2) -> rule4))] Harry is white.[(((triple2) -> rule1))] @2: Harry is blue.[(((((triple2) -> rule1) ((triple2) -> rule4)) -> rule8))]