Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. If Charlie is smart then Charlie is red. If someone is cold and white then they are furry. If someone is green and cold then they are red.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple1 triple6) -> rule2))] Charlie is green.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule1) OR ((triple3 triple1) -> rule3))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]