Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Kind people are young. All red, young people are kind.
Charlie is not smart.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple7) -> rule2))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule1))]