Charlie is big. Charlie is not nice. Charlie is white. If something is big and not quiet then it is nice. If Charlie is green then Charlie is blue. All big things are white. If something is smart and not big then it is blue. If Charlie is green and Charlie is blue then Charlie is white. If Charlie is not blue and Charlie is not white then Charlie is not nice.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is white.[(triple3 OR ((triple1) -> rule3))]