Charlie is big. If Charlie is not kind then Charlie is green. If someone is smart and not green then they are big. If someone is big then they are furry. If Charlie is furry and Charlie is not green then Charlie is not big. If Charlie is kind and Charlie is furry then Charlie is big. If Charlie is not furry then Charlie is round.
Charlie is not big.
@0: Charlie is big.[(triple1)] @1: Charlie is furry.[(((triple1) -> rule3))]