Bob is nice. Charlie is quiet. Harry is quiet. If something is nice then it is furry. If Charlie is nice then Charlie is white. If Harry is quiet and Harry is nice then Harry is white. If something is red then it is green. All white things are nice. If Harry is white and Harry is furry then Harry is green. Nice, quiet things are furry. Big things are white.
Harry is not furry.
@0: Bob is nice.[(triple1)] Charlie is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))]