Anne is nice. All nice, furry people are smart. Round people are cold. All furry, white people are round. If someone is white then they are kind. Cold, white people are kind. All nice people are white.
Anne is not white.
@0: Anne is nice.[(triple1)] @1: Anne is white.[(((triple1) -> rule6))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule4))]