Harry is furry. All furry people are big. Furry people are not red. If Harry is green and Harry is not big then Harry is red.
Harry is rough.
@0: Harry is furry.[(triple1)] @1: Harry is big.[(((triple1) -> rule1))] Harry is not red.[(((triple1) -> rule2))]