Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Round things are nice. All big, green things are smart.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple5) -> rule1))] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple1 triple3) -> rule2))] Charlie is white.[(triple7)]