Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. Nice, rough things are green. All nice things are young. If something is green then it is rough.
Charlie is green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple5) -> rule1))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5 OR ((triple3) -> rule3))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule2))]