Anne is furry. Anne is red. Erin is kind. If someone is quiet and cold then they are kind. All cold people are smart. Cold, smart people are red. Furry people are quiet. Furry, quiet people are kind. If someone is quiet then they are smart. If someone is kind then they are quiet. If someone is kind and furry then they are smart.
Anne is blue.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Erin is kind.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule4))] Erin is quiet.[(((triple3) -> rule7))] @2: Anne is kind.[(((triple1 ((triple1) -> rule4)) -> rule5))] Anne is smart.[(((((triple1) -> rule4)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule5) triple1) -> rule8))] Erin is smart.[(((((triple3) -> rule7)) -> rule6))]