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