Anne is not big. Anne is not cold. Anne is green. Anne is kind. Anne is red. Anne is young. Erin is big. Erin is cold. Erin is kind. Erin is red. Erin is round. Erin is young. Big, red people are green. Young people are round. If someone is green and not young then they are kind.
Erin is kind.
@0: Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is red.[(triple5)] Anne is young.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11 OR ((triple12) -> rule2))] Erin is young.[(triple12)] @1: Anne is round.[(((triple6) -> rule2))] Erin is green.[(((triple7 triple10) -> rule1))]