Bob is furry. Dave is smart. Fiona is furry. All blue, kind things are smart. If something is furry then it is smart. Furry, kind things are smart. All red, furry things are blue. Furry things are not kind. All red, blue things are furry. If something is kind and not big then it is not green. If something is blue and not smart then it is not green.
Dave is red.
@0: Bob is furry.[(triple1)] Dave is smart.[(triple2)] Fiona is furry.[(triple3)] @1: Bob is not kind.[(((triple1) -> rule5))] Bob is smart.[(((triple1) -> rule2))] Fiona is not kind.[(((triple3) -> rule5))] Fiona is smart.[(((triple3) -> rule2))]