Erin is furry. Harry is cold. Harry is round. Cold, round people are nice. White, furry people are cold. Nice people are cold. If someone is round then they are furry. All cold, round people are white. All furry, cold people are green. Green people are furry. All furry, white people are cold.
Erin is not cold.
@0: Erin is furry.[(triple1)] Harry is cold.[(triple2)] Harry is round.[(triple3)] @1: Harry is furry.[(((triple3) -> rule4))] Harry is nice.[(((triple2 triple3) -> rule1))] Harry is white.[(((triple2 triple3) -> rule5))] @2: Harry is green.[(((((triple3) -> rule4) triple2) -> rule6))]