Harry is furry. If someone is round and nice then they are red. All furry, red people are round. If someone is round then they are kind. All big, nice people are red. All furry people are red. If someone is nice and big then they are kind. If someone is big then they are furry. If Harry is kind then Harry is round.
Harry is round.
@0: Harry is furry.[(triple1)] @1: Harry is red.[(((triple1) -> rule5))] @2: Harry is round.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: Harry is kind.[(((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule3))]