Fiona is furry. Fiona is red. Fiona is smart. If Fiona is red and Fiona is furry then Fiona is kind. If someone is red then they are rough. All kind, furry people are quiet.
Fiona is not kind.
@0: Fiona is furry.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is kind.[(((triple2 triple1) -> rule1))] Fiona is rough.[(((triple2) -> rule2))] @2: Fiona is quiet.[(((((triple2 triple1) -> rule1) triple1) -> rule3))]