Peter,
Thanks for the link to the court filing.
I'm not so sure about the application of the '925 patent on infills, though. From my reading of the '925 patent, the description of the patent, including the included drawings, seems to be concentrated on controlling the gaps that form between the extruded material - the "porosity" - where the part is supposed to be solid. Although not specifically in the claim, the description talks about the ability of the part to out-gas through the part walls during molding. The described intent of the '925 does not seem to address the intent of variable infill percentages -- as the infill parameter does not control the alignment of the extruder path of solid fills or perimeters. Now, a broad reading of claim 1 could support Stratasys's position that infilll are "pores". But it feels like a bit of a stretch.
The '058 patent is a fairly broad patent that, if I read correctly, lays the first claim (as I understand it) as: deposit "melted" plastic so that it's still melted, have melted plastic build on top of a layer below and move the extruder to build the desired shape, and cool the "melted" plastic so that it solidifies. Additional claims basically says by controlling the temperatures around where the extrusion occurs, and controlling the temperature of the extruded plastic, you minimize part deformation. It doesn't explicitly call out the heated bed, or a heated build chamber, but it broadly describes controlling the temperature of the extruded plastic and the areas surrounding where extrusion is happening. If this patent stands, it pretty much locks up FFF for a little while yet. '058 issued in 1997, so it should be expiring soon.
The '124 patent basically describes the hot end as we know it. The main claim is on the use of a hot-end for 3D printing - plastic goes in, gets heated up, and squirts out the other end. If it wasn't narrowed to 3D printing, it probably would not have passed, as plastic welding tools (AFAIK) predates hotends for 3D printing. The following claims then goes into further details to protect increasingly more specific implementations.
The '239 seam hiding patent seems to be basically about lead-in/lead-out of the extrusion path. Like the '124, the claim is written to narrow the scope to 3D printing. It seems to me like there's a chance someone could have used a G-code generator that did a lead-in/lead-out, used it for 3d printing -- but whether that translates into demonstrable prior art is a whole other matter.
AFAIK, IMHO, IANAL. YMMV, et cetra. But my take from my (not quite so quick, but definitely not comprehensive) reading...