Anne is blue. Anne is cold. Anne is kind. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is white. Erin is young. If Erin is kind then Erin is blue. All kind, rough things are blue. Furry, blue things are rough.
Erin is not furry.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule2))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is blue.[(triple7 OR ((triple9) -> rule1) OR ((triple9 triple10) -> rule2))] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is rough.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)]