Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is not round. Charlie is young. If Charlie is young then Charlie is green. If someone is quiet and not young then they are not green. If Charlie is quiet then Charlie is furry. If someone is young then they are furry. If Charlie is round then Charlie is cold. If someone is quiet and not furry then they are blue.
Charlie is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5) -> rule3) OR ((triple7) -> rule4))] Charlie is green.[(triple4 OR ((triple7) -> rule1))] Charlie is not round.[(triple6)] Charlie is quiet.[(triple5)] Charlie is young.[(triple7)]