Harry is round. If Harry is big and Harry is quiet then Harry is blue. Round people are furry. White, big people are not quiet. If someone is furry then they are quiet. Quiet people are blue. All furry people are white.
Harry is big.
@0: Harry is round.[(triple1)] @1: Harry is furry.[(((triple1) -> rule2))] @2: Harry is quiet.[(((((triple1) -> rule2)) -> rule4))] Harry is white.[(((((triple1) -> rule2)) -> rule6))] @3: Harry is blue.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]