「このＮＩ‐ＣＲ‐ＭＯ鋼は合併し易いかまたは底深くないかあるいは両方ともである」ということは確かでない
fact1: このＮＩ‐ＣＲ‐ＭＯ鋼が単色であるということはないとすれば合併し易いかもしくはそれは底深いということはない fact2: このＮＩ‐ＣＲ‐ＭＯ鋼は単色でない
$facts$ = fact1: このＮＩ‐ＣＲ‐ＭＯ鋼が単色であるということはないとすれば合併し易いかもしくはそれは底深いということはない fact2: このＮＩ‐ＣＲ‐ＭＯ鋼は単色でない ; $hypothesis$ = 「このＮＩ‐ＣＲ‐ＭＯ鋼は合併し易いかまたは底深くないかあるいは両方ともである」ということは確かでない ; $proof$ = 
事実1: このＮＩ‐ＣＲ‐ＭＯ鋼が単色であるということはないとすれば合併し易いかもしくはそれは底深いということはない
事実2: このＮＩ‐ＣＲ‐ＭＯ鋼は単色でない

仮説: 「このＮＩ‐ＣＲ‐ＭＯ鋼は合併し易いかまたは底深くないかあるいは両方ともである」ということは確かでない