Anne is blue. Gary is green. Young people are furry. All kind, furry people are nice. Green people are young. Nice, young people are kind. All nice, young people are round. If Anne is blue then Anne is round. Kind, round people are nice. All furry people are round.
Gary is green.
@0: Anne is blue.[(triple1)] Gary is green.[(triple2)] @1: Anne is round.[(((triple1) -> rule6))] Gary is young.[(((triple2) -> rule3))] @2: Gary is furry.[(((((triple2) -> rule3)) -> rule1))] @3: Gary is round.[(((((((triple2) -> rule3)) -> rule1)) -> rule8))]