Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. All green things are quiet.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple2) -> rule1))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]