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