Charlie is big. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is not smart. Charlie is white. Charlie is not young. Green, smart people are nice. All green people are white. If Charlie is not white then Charlie is big. Green people are big. If someone is young and not white then they are big. All smart people are not big.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule4))] Charlie is green.[(triple2)] Charlie is nice.[(triple4)] Charlie is not kind.[(triple3)] Charlie is not smart.[(triple5)] Charlie is not young.[(triple7)] Charlie is white.[(triple6 OR ((triple2) -> rule2))]