Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Charlie is young. Round, young people are furry.
Charlie is not round.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple6 triple7) -> rule1))] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)]