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