Bob is furry. Harry is furry. If something is nice then it is red. Furry, red things are round. Furry things are nice.
Harry is furry.
@0: Bob is furry.[(triple1)] Harry is furry.[(triple2)] @1: Bob is nice.[(((triple1) -> rule3))] Harry is nice.[(((triple2) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule1))] Harry is red.[(((((triple2) -> rule3)) -> rule1))] @3: Bob is round.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule2))] Harry is round.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule2))]