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 furry.
@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)]