Bob is quiet. Harry is nice. Harry is white. If Harry is white and Harry is nice then Harry is rough. If Harry is quiet then Harry is rough.
Bob is not rough.
@0: Bob is quiet.[(triple1)] Harry is nice.[(triple2)] Harry is white.[(triple3)] @1: Harry is rough.[(((triple3 triple2) -> rule1))]