Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Big, young things are smart.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5 OR ((triple1 triple7) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)]