Anne is quiet. Anne is smart. Charlie is big. Charlie is furry. Charlie is nice. Dave is kind. Dave is smart. If someone is kind then they are young. All furry, quiet people are big. Smart people are furry.
Anne is not young.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Dave is kind.[(triple6)] Dave is smart.[(triple7)] @1: Anne is furry.[(((triple2) -> rule3))] Dave is furry.[(((triple7) -> rule3))] Dave is young.[(((triple6) -> rule1))] @2: Anne is big.[(((((triple2) -> rule3) triple1) -> rule2))]