Fiona is furry. Furry people are kind. If Fiona is white then Fiona is smart. If someone is smart then they are furry. Round, furry people are smart. Kind people are white. All round, furry people are smart.
Fiona is furry.
@0: Fiona is furry.[(triple1)] @1: Fiona is kind.[(((triple1) -> rule1))] @2: Fiona is white.[(((((triple1) -> rule1)) -> rule5))] @3: Fiona is smart.[(((((((triple1) -> rule1)) -> rule5)) -> rule2))]