Charlie is green. Charlie is quiet. Charlie is rough. Charlie is white. Gary is cold. Gary is rough. Gary is round. If someone is white and round then they are nice. If someone is round then they are cold. Nice, white people are quiet.
Gary is green.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Gary is cold.[(triple5 OR ((triple7) -> rule2))] Gary is rough.[(triple6)] Gary is round.[(triple7)]