「もしもこの汎発型環状肉芽腫が軽減しないならこの日本科学未来館はちっちゃくない」ということは事実と異なる
fact1: もしもこの汎発型環状肉芽腫は軽減するとすれば「「持ち難い一方で略述するということはない」ということは確かだ」ということは嘘である fact2: 仮にこの汎発型環状肉芽腫が軽減しないとすればこの日本科学未来館はちっちゃい fact3: 「この汎発型環状肉芽腫は持ち難いし加えて略述する」ということは偽である fact4: 仮に「この汎発型環状肉芽腫は持ち難い一方で略述するということはない」ということは成り立たないとしたらこの日本科学未来館はちっちゃいということはない fact5: もしもこの汎発型環状肉芽腫は軽減しないならば「それは持ち難くてかつ略述する」ということは成り立たない fact6: もしこの汎発型環状肉芽腫はちっちゃくないなら「それは持ち難いししかもそれは軽減しない」ということは誤りである fact7: 仮に「この汎発型環状肉芽腫は軽減するということはない」ということは本当であるとすれば「それは持ち難いけれど略述するということはない」ということは嘘だ
void -> assump1: 以下のように仮定する。この汎発型環状肉芽腫は軽減しない; fact7 & assump1 -> int1: 「この汎発型環状肉芽腫は持ち難いけど略述しない」ということは成り立たない; int1 & fact4 -> int2: この日本科学未来館はちっちゃくない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもこの汎発型環状肉芽腫は軽減するとすれば「「持ち難い一方で略述するということはない」ということは確かだ」ということは嘘である fact2: 仮にこの汎発型環状肉芽腫が軽減しないとすればこの日本科学未来館はちっちゃい fact3: 「この汎発型環状肉芽腫は持ち難いし加えて略述する」ということは偽である fact4: 仮に「この汎発型環状肉芽腫は持ち難い一方で略述するということはない」ということは成り立たないとしたらこの日本科学未来館はちっちゃいということはない fact5: もしもこの汎発型環状肉芽腫は軽減しないならば「それは持ち難くてかつ略述する」ということは成り立たない fact6: もしこの汎発型環状肉芽腫はちっちゃくないなら「それは持ち難いししかもそれは軽減しない」ということは誤りである fact7: 仮に「この汎発型環状肉芽腫は軽減するということはない」ということは本当であるとすれば「それは持ち難いけれど略述するということはない」ということは嘘だ ; $hypothesis$ = 「もしもこの汎発型環状肉芽腫が軽減しないならこの日本科学未来館はちっちゃくない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この汎発型環状肉芽腫は軽減しない; fact7 & assump1 -> int1: 「この汎発型環状肉芽腫は持ち難いけど略述しない」ということは成り立たない; int1 & fact4 -> int2: この日本科学未来館はちっちゃくない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの汎発型環状肉芽腫は軽減するとすれば「「持ち難い一方で略述するということはない」ということは確かだ」ということは嘘である
事実2: 仮にこの汎発型環状肉芽腫が軽減しないとすればこの日本科学未来館はちっちゃい
事実3: 「この汎発型環状肉芽腫は持ち難いし加えて略述する」ということは偽である
事実4: 仮に「この汎発型環状肉芽腫は持ち難い一方で略述するということはない」ということは成り立たないとしたらこの日本科学未来館はちっちゃいということはない
事実5: もしもこの汎発型環状肉芽腫は軽減しないならば「それは持ち難くてかつ略述する」ということは成り立たない
事実6: もしこの汎発型環状肉芽腫はちっちゃくないなら「それは持ち難いししかもそれは軽減しない」ということは誤りである
事実7: 仮に「この汎発型環状肉芽腫は軽減するということはない」ということは本当であるとすれば「それは持ち難いけれど略述するということはない」ということは嘘だ

仮説: 「もしもこの汎発型環状肉芽腫が軽減しないならこの日本科学未来館はちっちゃくない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この汎発型環状肉芽腫は軽減しない
2. 事実7と仮定1から、推論1: "「この汎発型環状肉芽腫は持ち難いけど略述しない」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "この日本科学未来館はちっちゃくない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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