Erin is big. Erin is not blue. Erin is green. Erin is not rough. Erin is round. Erin is white. Erin is not young. Gary is big. Gary is blue. Gary is green. Gary is not rough. Gary is round. Gary is white. Gary is young. If someone is green and round then they are big. If someone is round and not green then they are young. If someone is blue and not young then they are not rough.
Gary is green.
@0: Erin is big.[(triple1 OR ((triple3 triple5) -> rule1))] Erin is green.[(triple3)] Erin is not blue.[(triple2)] Erin is not rough.[(triple4)] Erin is not young.[(triple7)] Erin is round.[(triple5)] Erin is white.[(triple6)] Gary is big.[(triple8 OR ((triple10 triple12) -> rule1))] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is not rough.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]