\documentclass{amsart}
    \advance\textheight by 1.75in
    \advance\textwidth by 2in
    \advance\topmargin by -1in
    \advance\oddsidemargin by -1in
    \advance\evensidemargin by -1in
    \usepackage{amssymb}
    \parindent0pt
    \begin{document}
    \textbf{PRD003+1.p} No wine tours






$\mbox{include}(\mbox{'Axioms/PRD001+0.ax'})$

$\exists x{:}\;\mbox{tours}(x)\qquad\mbox{fof}(\mbox{act3\_formula}_{59},\mbox{conjecture})$

\medskip\textbf{PRD001+1.p} All wine conjectures






$\mbox{include}(\mbox{'Axioms/PRD001+0.ax'})$

$\exists x{:}\;\mbox{californiawine}(x)\mbox{ and }\exists x{:}\;\mbox{americanwine}(x)\mbox{ and }\exists x{:}\;\mbox{bordeaux}(x)\mbox{ and }\exists x{:}\;\mbox{burgundy}(x)\mbox{ and }\exists x{:}\;\mbox{anjou}(x)\mbox{ and }\exists x{:}\;\mbox{beaujolais}(x)\mbox{ and }\exists x{:}\;\mbox{cabernetfranc}(x)\mbox{ and }\exists x{:}\;\mbox{cabernetsauvignon}(x)\mbox{ and }\exists x{:}\;\mbox{californiawine}(x)\mbox{ and }\exists x{:}\;\mbox{chardonnay}(x)\mbox{ and }\exists x{:}\;\mbox{cheninblanc}(x)\mbox{ and }\exists x{:}\;\mbox{chianti}(x)\mbox{ and }\exists x{:}\;\mbox{cotesdor}(x)\mbox{ and }\exists x{:}\;\mbox{dessertwine}(x)\mbox{ and }\exists x{:}\;\mbox{dryriesling}(x)\mbox{ and }\exists x{:}\;\mbox{dryredwine}(x)\mbox{ and }\exists x{:}\;\mbox{drywhitewine}(x)\mbox{ and }\exists x{:}\;\mbox{drywine}(x)\mbox{ and }\exists x{:}\;\mbox{fullbodiedwine}(x)\mbox{ and }\exists x{:}\;\mbox{gamay}(x)\mbox{ and }\exists x{:}\;\mbox{germanwine}(x)\mbox{ and }\exists x{:}\;\mbox{grape}(x)\mbox{ and }\exists x{:}\;\mbox{icewine}(x)\mbox{ and }\exists x{:}\;\mbox{italianwine}(x)\mbox{ and }\exists x{:}\;\mbox{lateharvest}(x)\mbox{ and }\exists x{:}\;\mbox{loire}(x)\mbox{ and }\exists x{:}\;\mbox{margaux}(x)\mbox{ and }\exists x{:}\;\mbox{medoc}(x)\mbox{ and }\exists x{:}\;\mbox{meritage}(x)\mbox{ and }\exists x{:}\;\mbox{merlot}(x)\mbox{ and }\exists x{:}\;\mbox{meursault}(x)\mbox{ and }\exists x{:}\;\mbox{muscadet}(x)\mbox{ and }\exists x{:}\;\mbox{pauillac}(x)\mbox{ and }\exists x{:}\;\mbox{petitesyrah}(x)\mbox{ and }\exists x{:}\;\mbox{pinotblanc}(x)\mbox{ and }\exists x{:}\;\mbox{pinotnoir}(x)\mbox{ and }\exists x{:}\;\mbox{port}(x)\mbox{ and }\exists x{:}\;\mbox{potableliquid}(x)\mbox{ and }\exists x{:}\;\mbox{redbordeaux}(x)\mbox{ and }\exists x{:}\;\mbox{redburgundy}(x)\mbox{ and }\exists x{:}\;\mbox{redtablewine}(x)\mbox{ and }\exists x{:}\;\mbox{redwine}(x)\mbox{ and }\exists x{:}\;\mbox{region}(x)\mbox{ and }\exists x{:}\;\mbox{riesling}(x)\mbox{ and }\exists x{:}\;\mbox{rosewine}(x)\mbox{ and }\exists x{:}\;\mbox{sancerre}(x)\mbox{ and }\exists x{:}\;\mbox{sauternes}(x)\mbox{ and }\exists x{:}\;\mbox{sauvignonblanc}(x)\mbox{ and }\exists x{:}\;\mbox{semillon}(x)\mbox{ and }\exists x{:}\;\mbox{semillonorsauvignonblanc}(x)\mbox{ and }\exists x{:}\;\mbox{stemilion}(x)\mbox{ and }\exists x{:}\;\mbox{sweetriesling}(x)\mbox{ and }\exists x{:}\;\mbox{sweetwine}(x)\mbox{ and }\exists x{:}\;\mbox{tablewine}(x)\mbox{ and }\exists x{:}\;\mbox{texaswine}(x)\mbox{ and }\exists x{:}\;\mbox{vintage}(x)\mbox{ and }\exists x{:}\;\mbox{vintageyear}(x)\mbox{ and }\exists x{:}\;\mbox{whitebordeaux}(x)\mbox{ and }\exists x{:}\;\mbox{whiteburgundy}(x)\mbox{ and }\exists x{:}\;\mbox{whiteloire}(x)\mbox{ and }\exists x{:}\;\mbox{whitenonsweetwine}(x)\mbox{ and }\exists x{:}\;\mbox{whitetablewine}(x)\mbox{ and }\exists x{:}\;\mbox{whitewine}(x)\mbox{ and }\exists x{:}\;\mbox{wine}(x)\mbox{ and }\exists x{:}\;\mbox{winebody}(x)\mbox{ and }\exists x{:}\;\mbox{winecolor}(x)\mbox{ and }\exists x{:}\;\mbox{winedescriptor}(x)\mbox{ and }\exists x{:}\;\mbox{wineflavor}(x)\mbox{ and }\exists x{:}\;\mbox{winegrape}(x)\mbox{ and }\exists x{:}\;\mbox{winesugar}(x)\mbox{ and }\exists x{:}\;\mbox{winery}(x)\mbox{ and }\exists x{:}\;\mbox{winetaste}(x)\mbox{ and }\exists x{:}\;\mbox{zinfandel}(x)\mbox{ and }\exists y,x{:}\;\mbox{hasbody}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{hascolor}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{hasflavor}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{hasmaker}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{hassugar}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{hasvintageyear}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{haswinedescriptor}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{locatedin}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{madefromgrape}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{madefromfruit}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{madeintowine}(x,y)\mbox{ and }\exists y,x{:}\;\mbox{produceswine}(x,y)\qquad\mbox{fof}(\mbox{all},\mbox{conjecture})$

\medskip\textbf{PRD002+1.p} No French wine






$\mbox{include}(\mbox{'Axioms/PRD001+0.ax'})$

$\exists x{:}\;\mbox{frenchwine}(x)\qquad\mbox{fof}(\mbox{act3\_formula}_{21},\mbox{conjecture})$

\medskip
\end{document}