Anne is cold. Dave is furry. Gary is smart. If Dave is smart and Dave is red then Dave is kind. All furry people are blue. All blue, furry people are round. If someone is kind and round then they are blue. If someone is smart and round then they are furry. Kind, smart people are red. All kind people are cold. If someone is furry and red then they are blue.
Anne is not kind.
@0: Anne is cold.[(triple1)] Dave is furry.[(triple2)] Gary is smart.[(triple3)] @1: Dave is blue.[(((triple2) -> rule2))] @2: Dave is round.[(((((triple2) -> rule2) triple2) -> rule3))]