Anne is round. Bob is furry. Dave is white. If Anne is smart and Anne is not furry then Anne is young. All round things are big. If something is round and not white then it is young. If something is furry and white then it is young. Big things are smart. If Dave is white then Dave is young. Smart things are kind. If Dave is white then Dave is not furry.
Anne is smart.
@0: Anne is round.[(triple1)] Bob is furry.[(triple2)] Dave is white.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Dave is not furry.[(((triple3) -> rule8))] Dave is young.[(((triple3) -> rule6))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule5))] @3: Anne is kind.[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]