もしも「この泥パークは烈火でない一方で荷重する」ということは成り立つということはないとしたら「それはＥＤＩネットでない」ということは本当である
fact1: 仮に「何らかの物は烈火でないけれどそれは荷重する」ということは確かでないなら「ＥＤＩネットでない」ということは成り立つ
$facts$ = fact1: 仮に「何らかの物は烈火でないけれどそれは荷重する」ということは確かでないなら「ＥＤＩネットでない」ということは成り立つ ; $hypothesis$ = もしも「この泥パークは烈火でない一方で荷重する」ということは成り立つということはないとしたら「それはＥＤＩネットでない」ということは本当である ; $proof$ = 
事実1: 仮に「何らかの物は烈火でないけれどそれは荷重する」ということは確かでないなら「ＥＤＩネットでない」ということは成り立つ

仮説: もしも「この泥パークは烈火でない一方で荷重する」ということは成り立つということはないとしたら「それはＥＤＩネットでない」ということは本当である