Anne is quiet. Bob is round. Erin is furry. Fiona is furry. If someone is kind and young then they are quiet. White, quiet people are furry. If someone is cold and white then they are young. Quiet people are round. All kind people are round. Kind, furry people are white. Furry people are kind. If someone is cold then they are furry.
Fiona is furry.
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Erin is furry.[(triple3)] Fiona is furry.[(triple4)] @1: Anne is round.[(((triple1) -> rule4))] Erin is kind.[(((triple3) -> rule7))] Fiona is kind.[(((triple4) -> rule7))] @2: Erin is round.[(((((triple3) -> rule7)) -> rule5))] Erin is white.[(((((triple3) -> rule7) triple3) -> rule6))] Fiona is round.[(((((triple4) -> rule7)) -> rule5))] Fiona is white.[(((((triple4) -> rule7) triple4) -> rule6))]