Charlie is big. Charlie is blue. Charlie is not furry. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. White things are blue. Blue things are white.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple6) -> rule1))] Charlie is nice.[(triple4)] Charlie is not furry.[(triple3)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple2) -> rule2))] Charlie is young.[(triple7)]