The Shallow Encoding Answer

Problem

• TPTP format problem file
  • 18 axioms

Solution

• TPTP format proof (by SNARK)
  • 4 inferences
  • 5 axioms used
• In English:
  • As surface area is proportional to surface-to-volume ratio, and
    proportional is symmetric,
    surface-to-volume ratio is proportional to surface area.
  • As surface-to-volume ratio is proportional to exchange rate, and
    proportional is symmetric,
    exchange rate is proportional to surface-to-volume ratio.
  • As exchange rate is important, and
    exchange rate is proportional to surface-to-volume ratio, and
    importance is transferred by proportionality,
    surface-to-volume ratio is important.
  • As surface-to-volume ratio is proportional to surface area, and
    surface-to-volume ratio is important, and
    importance is transferred by proportionality,
    surface area is important.