Erin is green. Erin is kind. Erin is quiet. If someone is kind then they are smart. Kind, quiet people are blue.
Erin is not kind.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is blue.[(((triple2 triple3) -> rule2))] Erin is smart.[(((triple2) -> rule1))]