Anne is kind. Charlie is not big. Harry is furry. All kind people are not furry. Young, big people are not kind. Kind people are big. If someone is kind and not big then they are red. Green, big people are not rough. All kind, young people are rough. All rough, young people are not green. If someone is kind and not furry then they are green.
Anne is not kind.
@0: Anne is kind.[(triple1)] Charlie is not big.[(triple2)] Harry is furry.[(triple3)] @1: Anne is big.[(((triple1) -> rule3))] Anne is not furry.[(((triple1) -> rule1))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: Anne is not rough.[(((((triple1 ((triple1) -> rule1)) -> rule8) ((triple1) -> rule3)) -> rule5))]