Charlie is blue. Charlie is not cold. Charlie is red. Charlie is rough. Charlie is not round. Charlie is not smart. Charlie is young. Rough things are young. All smart, blue things are rough. If Charlie is not blue then Charlie is young.
Charlie is not smart.
@0: Charlie is blue.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not round.[(triple5)] Charlie is not smart.[(triple6)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple7 OR ((triple4) -> rule1))]