Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Round things are big. If something is quiet and not rough then it is big. If something is smart then it is blue.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule1))] Charlie is blue.[(triple2 OR ((triple7) -> rule3))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]