Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is young. If something is kind then it is smart. If something is kind then it is smart.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule1) OR ((triple4) -> rule2))] Charlie is young.[(triple7)]