Anne is furry. If Anne is furry and Anne is quiet then Anne is blue. All round people are furry. Red people are not cold. Furry people are cold. If someone is red and not cold then they are blue. If someone is furry and cold then they are not kind. All blue, furry people are not kind. Blue people are kind.
Anne is not cold.
@0: Anne is furry.[(triple1)] @1: Anne is cold.[(((triple1) -> rule4))] @2: Anne is not kind.[(((triple1 ((triple1) -> rule4)) -> rule6))]