Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Nice, furry things are young.
Charlie is not red.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple4 triple1) -> rule1))]