Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is white. Erin is young. Young things are red.
Erin is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple7) -> rule1))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple14) -> rule1))] Erin is rough.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]