Anne is furry. All green things are round. If Anne is kind then Anne is not rough. Round things are furry. If something is furry then it is kind. All kind, furry things are young. If something is quiet and not furry then it is not young. Round, young things are not rough. If something is kind and not young then it is not rough.
Anne is furry.
@0: Anne is furry.[(triple1)] @1: Anne is kind.[(((triple1) -> rule4))] @2: Anne is not rough.[(((((triple1) -> rule4)) -> rule2))] Anne is young.[(((((triple1) -> rule4) triple1) -> rule5))]