Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is not nice. Charlie is smart. Charlie is young. Furry things are blue.
Charlie is smart.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is not nice.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]