Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Young, round people are green.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple7 triple5) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]