Erin is kind. Erin is smart. Fiona is blue. If Fiona is furry and Fiona is red then Fiona is kind. Blue people are round. All blue, furry people are big. If Fiona is kind and Fiona is red then Fiona is smart. Smart people are red. If someone is furry and big then they are kind. If someone is kind then they are furry. Blue people are red.
Erin is not kind.
@0: Erin is kind.[(triple1)] Erin is smart.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is furry.[(((triple1) -> rule7))] Erin is red.[(((triple2) -> rule5))] Fiona is red.[(((triple3) -> rule8))] Fiona is round.[(((triple3) -> rule2))]