Anne is green. Anne is red. Anne is rough. Erin is green. Erin is kind. Erin is nice. Erin is red. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Nice, round things are smart. Rough, kind things are green.
Erin is nice.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Gary is green.[(((triple11 triple8) -> rule2))]