Charlie is green. Charlie is nice. Charlie is young. If someone is cold and round then they are not young. Kind people are nice. If someone is furry then they are nice. Nice people are furry. If Charlie is round then Charlie is not green. If someone is nice then they are not round.
Charlie is green.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule4))] Charlie is not round.[(((triple2) -> rule6))]