Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is young. If Charlie is not cold then Charlie is quiet.
Charlie is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not cold.[(triple2)] Charlie is quiet.[(triple6 OR ((triple2) -> rule1))] Charlie is young.[(triple7)]