Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Charlie is young. All white, red people are furry.
Charlie is not red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple6 triple4) -> rule1))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]