Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. If Charlie is big and Charlie is nice then Charlie is rough. All quiet, red things are rough.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple1 triple3) -> rule1) OR ((triple4 triple5) -> rule2))] Charlie is smart.[(triple7)]