Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Kind, red people are rough.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple3 triple5) -> rule1))] Charlie is round.[(triple7)]