Charlie is not green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. If Charlie is nice then Charlie is not green. Round people are smart.
Charlie is smart.
@0: Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not green.[(triple1 OR ((triple3) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule2))] Charlie is young.[(triple7)]