「「もし変わるとすると「停泊しなくて大小胸筋外側縁であるということはない」ということは成り立つ」物はある」ということは事実と異なる
fact1: もしある物が売薬でないなら停泊しなくてかつそれは大小胸筋外側縁でない fact2: もしこの白血球が停泊するとするとその癌手術は停泊する fact3: もし仮になにがしかの物はＫＴでないとすれば「それは近付き難くなくて保護者達でない」ということは誤っている fact4: もしもなにがしかのものが停泊しないならばそれは変わるけれど開通しない fact5: 「もし仮に変わるとすると大小胸筋外側縁であるということはない」物はある fact6: あの冗談半分は誤り無い fact7: 「その癌手術は売薬でないがそれは開通する」ということは間違っているなら変わらない fact8: もし仮に「なにがしかのものは近付き難いということはなくてそれに保護者達でない」ということは嘘ならば停泊する fact9: なにがしかの物が停泊しないとすれば売薬であるししかもそれは開通しない fact10: 「あの冗談半分は誤り無い」ということは誤っていないとすればあの白血球は得られ難くない一方でそれは常備薬である fact11: もし仮に得られ難くない物は常備薬であるならそれはＫＴでない fact12: 「その癌手術は売薬であるし加えてそれは開通する」ということは成り立つということはない fact13: その癌手術は納豆キナーゼでない fact14: もし仮に「その癌手術は鞘走らない」ということは確かであるならそれは鼻声であるしそれは変わらない fact15: 仮にその癌手術が停泊すればその隣地は大小胸筋外側縁でないけど変わる fact16: もしもなにがしかのものは売薬でないなら大小胸筋外側縁でない
void -> assump1: 以下のように仮定する。「「その癌手術は売薬だということはないけど開通する」ということは成り立つ」ということは成り立つということはない; fact7 & assump1 -> int1: その癌手術は変わらない; void -> assump2: 以下のように仮定する。その癌手術は変わる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その癌手術は売薬であるということはないけれど開通する; int3 -> int4: その癌手術は売薬でない; fact1 -> int5: もしその癌手術が売薬であるということはないとしたらそれは停泊しないし大小胸筋外側縁だということはない; int4 & int5 -> int6: その癌手術は停泊しないししかも大小胸筋外側縁でない; [assump2] & int6 -> int7: もしもその癌手術が変わるとしたらそれは停泊しないし更に大小胸筋外側縁であるということはない; int7 -> hypothesis;
その隣地は開通しない
fact17 -> int8: 「もし仮に「この白血球は近付き難くなくてしかも保護者達でない」ということは偽であるとすると「この白血球は停泊する」ということは本当だ」ということは事実である; fact21 -> int9: もしも「この白血球はＫＴであるということはない」ということは成り立つとしたら「近付き難くなくておまけに保護者達でない」ということは事実でない; fact18 -> int10: もし仮にこの白血球は得られ難くない一方で常備薬であるとしたらそれはＫＴでない; fact22 & fact20 -> int11: この白血球は得られ難くないけどそれは常備薬である; int10 & int11 -> int12: この白血球はＫＴでない; int9 & int12 -> int13: 「この白血球は近付き難くなくて更にそれは保護者達でない」ということは間違いである; int8 & int13 -> int14: この白血球は停泊する; fact19 & int14 -> int15: その癌手術は停泊する; fact23 & int15 -> int16: その隣地は大小胸筋外側縁でないけれど変わる; int16 -> int17: その隣地は大小胸筋外側縁だということはない;
$facts$ = fact1: もしある物が売薬でないなら停泊しなくてかつそれは大小胸筋外側縁でない fact2: もしこの白血球が停泊するとするとその癌手術は停泊する fact3: もし仮になにがしかの物はＫＴでないとすれば「それは近付き難くなくて保護者達でない」ということは誤っている fact4: もしもなにがしかのものが停泊しないならばそれは変わるけれど開通しない fact5: 「もし仮に変わるとすると大小胸筋外側縁であるということはない」物はある fact6: あの冗談半分は誤り無い fact7: 「その癌手術は売薬でないがそれは開通する」ということは間違っているなら変わらない fact8: もし仮に「なにがしかのものは近付き難いということはなくてそれに保護者達でない」ということは嘘ならば停泊する fact9: なにがしかの物が停泊しないとすれば売薬であるししかもそれは開通しない fact10: 「あの冗談半分は誤り無い」ということは誤っていないとすればあの白血球は得られ難くない一方でそれは常備薬である fact11: もし仮に得られ難くない物は常備薬であるならそれはＫＴでない fact12: 「その癌手術は売薬であるし加えてそれは開通する」ということは成り立つということはない fact13: その癌手術は納豆キナーゼでない fact14: もし仮に「その癌手術は鞘走らない」ということは確かであるならそれは鼻声であるしそれは変わらない fact15: 仮にその癌手術が停泊すればその隣地は大小胸筋外側縁でないけど変わる fact16: もしもなにがしかのものは売薬でないなら大小胸筋外側縁でない ; $hypothesis$ = 「「もし変わるとすると「停泊しなくて大小胸筋外側縁であるということはない」ということは成り立つ」物はある」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その癌手術は売薬だということはないけど開通する」ということは成り立つ」ということは成り立つということはない; fact7 & assump1 -> int1: その癌手術は変わらない; void -> assump2: 以下のように仮定する。その癌手術は変わる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その癌手術は売薬であるということはないけれど開通する; int3 -> int4: その癌手術は売薬でない; fact1 -> int5: もしその癌手術が売薬であるということはないとしたらそれは停泊しないし大小胸筋外側縁だということはない; int4 & int5 -> int6: その癌手術は停泊しないししかも大小胸筋外側縁でない; [assump2] & int6 -> int7: もしもその癌手術が変わるとしたらそれは停泊しないし更に大小胸筋外側縁であるということはない; int7 -> hypothesis; __DISPROVED__
事実1: もしある物が売薬でないなら停泊しなくてかつそれは大小胸筋外側縁でない
事実2: もしこの白血球が停泊するとするとその癌手術は停泊する
事実3: もし仮になにがしかの物はＫＴでないとすれば「それは近付き難くなくて保護者達でない」ということは誤っている
事実4: もしもなにがしかのものが停泊しないならばそれは変わるけれど開通しない
事実5: 「もし仮に変わるとすると大小胸筋外側縁であるということはない」物はある
事実6: あの冗談半分は誤り無い
事実7: 「その癌手術は売薬でないがそれは開通する」ということは間違っているなら変わらない
事実8: もし仮に「なにがしかのものは近付き難いということはなくてそれに保護者達でない」ということは嘘ならば停泊する
事実9: なにがしかの物が停泊しないとすれば売薬であるししかもそれは開通しない
事実10: 「あの冗談半分は誤り無い」ということは誤っていないとすればあの白血球は得られ難くない一方でそれは常備薬である
事実11: もし仮に得られ難くない物は常備薬であるならそれはＫＴでない
事実12: 「その癌手術は売薬であるし加えてそれは開通する」ということは成り立つということはない
事実13: その癌手術は納豆キナーゼでない
事実14: もし仮に「その癌手術は鞘走らない」ということは確かであるならそれは鼻声であるしそれは変わらない
事実15: 仮にその癌手術が停泊すればその隣地は大小胸筋外側縁でないけど変わる
事実16: もしもなにがしかのものは売薬でないなら大小胸筋外側縁でない

仮説: 「「もし変わるとすると「停泊しなくて大小胸筋外側縁であるということはない」ということは成り立つ」物はある」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「「その癌手術は売薬だということはないけど開通する」ということは成り立つ」ということは成り立つということはない
2. 事実7と仮定1から、推論1: "その癌手術は変わらない"が導かれる
3. 仮定2: 以下のように仮定する。その癌手術は変わる
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その癌手術は売薬であるということはないけれど開通する"が導かれる
6. 推論3から、推論4: "その癌手術は売薬でない"が導かれる
7. 事実1から、推論5: "もしその癌手術が売薬であるということはないとしたらそれは停泊しないし大小胸筋外側縁だということはない"が導かれる
8. 推論4と推論5から、推論6: "その癌手術は停泊しないししかも大小胸筋外側縁でない"が導かれる
9. [仮定2]と推論6から、推論7: "もしもその癌手術が変わるとしたらそれは停泊しないし更に大小胸筋外側縁であるということはない"が導かれる
10. 推論7から、仮説が否定される

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