Anne is blue. Anne is green. Anne is round. Anne is young. Erin is blue. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is green. Gary is rough. Gary is smart. Gary is young. Smart things are rough.
Erin is rough.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8 OR ((triple10) -> rule1))] Erin is round.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11)] Gary is green.[(triple12)] Gary is rough.[(triple13 OR ((triple14) -> rule1))] Gary is smart.[(triple14)] Gary is young.[(triple15)]