「もしその飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすけどそれは凝固だということはない」ということは事実と異なる」ということは成り立つということはない
fact1: もしも「素っ飛ばすけれど凝固でない」物があるとすればその飲み屋街は履く fact2: もしその飲み屋街が履かないならあの棟割り長屋は素っ飛ばすけど凝固でない fact3: あの棟割り長屋は素っ飛ばす fact4: 「凝固でない」物はある fact5: 仮にその結合蛋白質が凝固でないとしたらその飲み屋街は飛び抜けるしかつ素っ飛ばす fact6: 「素っ飛ばす」ものはある fact7: その飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすし凝固だ」ということは成り立たない fact8: もしも「素っ飛ばすし凝固な」ものがあるならその飲み屋街は履く fact9: 「あの棟割り長屋は素っ飛ばすし凝固だ」ということは誤っている fact10: あの棟割り長屋は凝固でない
void -> assump1: 以下のように仮定する。「あの棟割り長屋は素っ飛ばすがしかし凝固でない」ということは成り立つ; assump1 -> int1: あるものは素っ飛ばすがしかし凝固でない; int1 & fact1 -> int2: その飲み屋街は履く; void -> assump2: 以下のように仮定する。その飲み屋街は履かない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの棟割り長屋は素っ飛ばすけどそれは凝固でない」ということは正しくない; [assump2] & int4 -> hypothesis;
その飲み屋街は飛び抜ける
$facts$ = fact1: もしも「素っ飛ばすけれど凝固でない」物があるとすればその飲み屋街は履く fact2: もしその飲み屋街が履かないならあの棟割り長屋は素っ飛ばすけど凝固でない fact3: あの棟割り長屋は素っ飛ばす fact4: 「凝固でない」物はある fact5: 仮にその結合蛋白質が凝固でないとしたらその飲み屋街は飛び抜けるしかつ素っ飛ばす fact6: 「素っ飛ばす」ものはある fact7: その飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすし凝固だ」ということは成り立たない fact8: もしも「素っ飛ばすし凝固な」ものがあるならその飲み屋街は履く fact9: 「あの棟割り長屋は素っ飛ばすし凝固だ」ということは誤っている fact10: あの棟割り長屋は凝固でない ; $hypothesis$ = 「もしその飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすけどそれは凝固だということはない」ということは事実と異なる」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの棟割り長屋は素っ飛ばすがしかし凝固でない」ということは成り立つ; assump1 -> int1: あるものは素っ飛ばすがしかし凝固でない; int1 & fact1 -> int2: その飲み屋街は履く; void -> assump2: 以下のように仮定する。その飲み屋街は履かない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの棟割り長屋は素っ飛ばすけどそれは凝固でない」ということは正しくない; [assump2] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「素っ飛ばすけれど凝固でない」物があるとすればその飲み屋街は履く
事実2: もしその飲み屋街が履かないならあの棟割り長屋は素っ飛ばすけど凝固でない
事実3: あの棟割り長屋は素っ飛ばす
事実4: 「凝固でない」物はある
事実5: 仮にその結合蛋白質が凝固でないとしたらその飲み屋街は飛び抜けるしかつ素っ飛ばす
事実6: 「素っ飛ばす」ものはある
事実7: その飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすし凝固だ」ということは成り立たない
事実8: もしも「素っ飛ばすし凝固な」ものがあるならその飲み屋街は履く
事実9: 「あの棟割り長屋は素っ飛ばすし凝固だ」ということは誤っている
事実10: あの棟割り長屋は凝固でない

仮説: 「もしその飲み屋街は履かないとしたら「あの棟割り長屋は素っ飛ばすけどそれは凝固だということはない」ということは事実と異なる」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「あの棟割り長屋は素っ飛ばすがしかし凝固でない」ということは成り立つ
2. 仮定1から、推論1: "あるものは素っ飛ばすがしかし凝固でない"が導かれる
3. 推論1と事実1から、推論2: "その飲み屋街は履く"が導かれる
4. 仮定2: 以下のように仮定する。その飲み屋街は履かない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの棟割り長屋は素っ飛ばすけどそれは凝固でない」ということは正しくない"が導かれる
7. [仮定2]と推論4から、仮説が否定される

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