Anne is big. Charlie is quiet. Dave is furry. Big people are kind. All young people are not kind. If someone is young and green then they are quiet. If someone is furry then they are quiet. All young people are big. If someone is round then they are big. All kind people are furry. If someone is quiet and not young then they are not green.
Dave is not furry.
@0: Anne is big.[(triple1)] Charlie is quiet.[(triple2)] Dave is furry.[(triple3)] @1: Anne is kind.[(((triple1) -> rule1))] Dave is quiet.[(((triple3) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule7))] @3: Anne is quiet.[(((((((triple1) -> rule1)) -> rule7)) -> rule4))]