Charlie is big. Charlie is green. Charlie is quiet. Charlie is not red. Charlie is rough. Charlie is not round. Charlie is not smart. If Charlie is green then Charlie is not round.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not red.[(triple4)] Charlie is not round.[(triple6 OR ((triple2) -> rule1))] Charlie is not smart.[(triple7)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple5)]