Bob is green. Bob is rough. Bob is round. Bob is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. Gary is blue. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is young. All white, green people are round. If someone is green then they are rough.
Gary is not round.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule2))] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8 OR ((triple6) -> rule2))] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14 OR ((triple12) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16)]