そのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでないかあるいは両方ともだ
fact1: もし仮に「腐さない」ものがあるとしたらそのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでない fact2: なにがしかのものは腐さない
$facts$ = fact1: もし仮に「腐さない」ものがあるとしたらそのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでない fact2: なにがしかのものは腐さない ; $hypothesis$ = そのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでないかあるいは両方ともだ ; $proof$ = 
事実1: もし仮に「腐さない」ものがあるとしたらそのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでない
事実2: なにがしかのものは腐さない

仮説: そのＡＰＣはＭＡＩＮでないかまたはそれはメガファームでないかあるいは両方ともだ