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