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