Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Gary is blue. Gary is green. Gary is nice. Gary is rough. Gary is round. Rough, round people are nice. All rough people are nice.
Gary is smart.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple4) -> rule2) OR ((triple4 triple5) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10 OR ((triple11) -> rule2) OR ((triple11 triple12) -> rule1))] Gary is rough.[(triple11)] Gary is round.[(triple12)]