Charlie is big. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. If Charlie is not big then Charlie is not white. If Charlie is smart then Charlie is white. If someone is big and not smart then they are white. All smart people are round. If Charlie is not young then Charlie is red. If Charlie is young then Charlie is red.
Charlie is white.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2 OR ((triple7) -> rule6))] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple5) -> rule4))] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple5) -> rule2))] Charlie is young.[(triple7)]