「もしもその市街化がＩＳ‐ＬＭ分析だ一方でそれが極まりなくないとすればその長襦袢はイタリア人青年でない」ということは事実と異なる
fact1: 仮にその市街化が縮み上がらないとしたらその長襦袢はイタリア人青年でない fact2: 仮にある物が成され易いかあるいはそれはアデルハイド姫であるならば「それは縮み上がらない」ということは成り立つ fact3: もし仮になにがしかのものが漕ぎ出すとしたらそれは黙れるということはない fact4: その市街化はＩＳ‐ＬＭ分析だ fact5: もし仮にＩＳ‐ＬＭ分析が極まりなくないとしたらそれは成され易い fact6: もし仮にその市街化がアデルハイド姫だとすれば縮み上がらない fact7: 仮にその市街化はＩＳ‐ＬＭ分析だし極まりないならば「成され易い」ということは正しい
fact5 -> int1: 仮にその市街化はＩＳ‐ＬＭ分析であるがしかし極まりなくないならばそれは成され易い; void -> assump1: 以下のように仮定する。その市街化はＩＳ‐ＬＭ分析だが極まりないということはない; int1 & assump1 -> int2: その市街化は成され易い; int2 -> int3: その市街化は成され易いかまたはアデルハイド姫であるかもしくは両方ともだ; fact2 -> int4: もし仮に「その市街化は成され易いかアデルハイド姫だ」ということは真実であるならばそれは縮み上がらない; int3 & int4 -> int5: その市街化は縮み上がるということはない; int5 & fact1 -> int6: 「その長襦袢はイタリア人青年でない」ということは真実だ; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮にその市街化が縮み上がらないとしたらその長襦袢はイタリア人青年でない fact2: 仮にある物が成され易いかあるいはそれはアデルハイド姫であるならば「それは縮み上がらない」ということは成り立つ fact3: もし仮になにがしかのものが漕ぎ出すとしたらそれは黙れるということはない fact4: その市街化はＩＳ‐ＬＭ分析だ fact5: もし仮にＩＳ‐ＬＭ分析が極まりなくないとしたらそれは成され易い fact6: もし仮にその市街化がアデルハイド姫だとすれば縮み上がらない fact7: 仮にその市街化はＩＳ‐ＬＭ分析だし極まりないならば「成され易い」ということは正しい ; $hypothesis$ = 「もしもその市街化がＩＳ‐ＬＭ分析だ一方でそれが極まりなくないとすればその長襦袢はイタリア人青年でない」ということは事実と異なる ; $proof$ = 
fact5 -> int1: 仮にその市街化はＩＳ‐ＬＭ分析であるがしかし極まりなくないならばそれは成され易い; void -> assump1: 以下のように仮定する。その市街化はＩＳ‐ＬＭ分析だが極まりないということはない; int1 & assump1 -> int2: その市街化は成され易い; int2 -> int3: その市街化は成され易いかまたはアデルハイド姫であるかもしくは両方ともだ; fact2 -> int4: もし仮に「その市街化は成され易いかアデルハイド姫だ」ということは真実であるならばそれは縮み上がらない; int3 & int4 -> int5: その市街化は縮み上がるということはない; int5 & fact1 -> int6: 「その長襦袢はイタリア人青年でない」ということは真実だ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にその市街化が縮み上がらないとしたらその長襦袢はイタリア人青年でない
事実2: 仮にある物が成され易いかあるいはそれはアデルハイド姫であるならば「それは縮み上がらない」ということは成り立つ
事実3: もし仮になにがしかのものが漕ぎ出すとしたらそれは黙れるということはない
事実4: その市街化はＩＳ‐ＬＭ分析だ
事実5: もし仮にＩＳ‐ＬＭ分析が極まりなくないとしたらそれは成され易い
事実6: もし仮にその市街化がアデルハイド姫だとすれば縮み上がらない
事実7: 仮にその市街化はＩＳ‐ＬＭ分析だし極まりないならば「成され易い」ということは正しい

仮説: 「もしもその市街化がＩＳ‐ＬＭ分析だ一方でそれが極まりなくないとすればその長襦袢はイタリア人青年でない」ということは事実と異なる
1. 事実5から、推論1: "仮にその市街化はＩＳ‐ＬＭ分析であるがしかし極まりなくないならばそれは成され易い"が導かれる
2. 仮定1: 以下のように仮定する。その市街化はＩＳ‐ＬＭ分析だが極まりないということはない
3. 推論1と仮定1から、推論2: "その市街化は成され易い"が導かれる
4. 推論2から、推論3: "その市街化は成され易いかまたはアデルハイド姫であるかもしくは両方ともだ"が導かれる
5. 事実2から、推論4: "もし仮に「その市街化は成され易いかアデルハイド姫だ」ということは真実であるならばそれは縮み上がらない"が導かれる
6. 推論3と推論4から、推論5: "その市街化は縮み上がるということはない"が導かれる
7. 推論5と事実1から、推論6: "「その長襦袢はイタリア人青年でない」ということは真実だ"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。