Anne is white. If Anne is furry then Anne is not kind. If someone is kind and not smart then they are young. If someone is kind and white then they are young. All red, young people are kind. All white people are kind. All red people are furry. All white people are not red. All furry people are not white.
Anne is white.
@0: Anne is white.[(triple1)] @1: Anne is kind.[(((triple1) -> rule5))] Anne is not red.[(((triple1) -> rule7))] @2: Anne is young.[(((((triple1) -> rule5) triple1) -> rule3))]