Charlie is white. Dave is young. Fiona is kind. If something is kind then it is furry. If something is quiet and white then it is young. White, young things are smart. All kind things are green. If Charlie is kind and Charlie is white then Charlie is quiet. White, furry things are kind.
Fiona is young.
@0: Charlie is white.[(triple1)] Dave is young.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule1))] Fiona is green.[(((triple3) -> rule4))]