Charlie is furry. Charlie is kind. Charlie is not red. All kind, young people are green. All furry people are young. If someone is kind then they are big.
Charlie is not furry.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is not red.[(triple3)] @1: Charlie is big.[(((triple2) -> rule3))] Charlie is young.[(((triple1) -> rule2))] @2: Charlie is green.[(((triple2 ((triple1) -> rule2)) -> rule1))]