Dave is green. Erin is nice. Gary is white. Harry is kind. If Harry is quiet and Harry is green then Harry is furry. Round things are furry. All white things are furry. If something is round and nice then it is green. If Harry is green and Harry is round then Harry is white. All furry things are nice. If something is round then it is kind. Nice, white things are quiet.
Dave is furry.
@0: Dave is green.[(triple1)] Erin is nice.[(triple2)] Gary is white.[(triple3)] Harry is kind.[(triple4)] @1: Gary is furry.[(((triple3) -> rule3))] @2: Gary is nice.[(((((triple3) -> rule3)) -> rule6))] @3: Gary is quiet.[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule8))]