Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Rough, kind things are nice.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple3) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)]