Anne is blue. Anne is kind. Anne is nice. Anne is young. Erin is blue. Erin is kind. Erin is young. All kind people are smart. Blue people are nice. Rough people are young.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple1) -> rule2))] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is young.[(triple7)] @1: Anne is smart.[(((triple2) -> rule1))] Erin is nice.[(((triple5) -> rule2))] Erin is smart.[(((triple6) -> rule1))]