Anne is blue. Anne is kind. Anne is smart. Anne is young. Erin is not blue. Erin is red. Erin is smart. If Anne is red then Anne is quiet. If someone is green then they are young. All young people are blue.
Anne is not quiet.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule3))] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Erin is not blue.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)]