Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is rough. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is rough. Big things are red.
Erin is rough.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((triple6) -> rule1))] Gary is rough.[(triple12)] @1: Erin is red.[(((triple1) -> rule1))]