Dave is blue. Erin is quiet. Fiona is green. If something is round and not furry then it is quiet. If something is furry then it is blue. If something is red then it is blue. If Dave is green and Dave is quiet then Dave is kind. All green, furry things are kind. All quiet things are kind. All furry things are not green. If something is red and not quiet then it is green.
Erin is kind.
@0: Dave is blue.[(triple1)] Erin is quiet.[(triple2)] Fiona is green.[(triple3)] @1: Erin is kind.[(((triple2) -> rule6))]