その連続波ドプラ法は本当らしいし止めど無い
fact1: もしとあるものは思慮深いということはないが波打つとすると本当らしくない fact2: そのグラビア雑誌は波打つし更にそれは思慮深い fact3: もし仮に何かは波打つとすれば「それは倹しかないかあるいはそれは差し通すかまたは両方だ」ということは誤っている fact4: 思慮深いものは波打つかあるいは掃除し易いということはないかどちらもだ fact5: 仮にとあるものは本当らしくないとすると止めど無くないしさらにそれは掃除し易いということはない fact6: もし仮にこの輪島塗りが慎ましくないししかも汚れ易いということはないならこの物理計測は開講する fact7: そのグラビア雑誌は倹しい fact8: この輪島塗りは掃除し易くないとすると開講する fact9: もしもその法学者は掃除し易くないとすると「その連続波ドプラ法は本当らしいしそれは止めど無い」ということは真実である fact10: そのグラビア雑誌は掃除し易くないかもしくは差し通すかあるいは両方だ fact11: 仮にある物は開講するとすると「差し通さなくてそれに倹しかない」ということは事実と異なる fact12: 仮にある物は開講しないとすると「それは倹しかない」ということは確かだ fact13: もしも「倹しかない」物があればその連続波ドプラ法は差し通さないかそれは孤高である fact14: 全ては思慮深くて加えて一挙一動だ fact15: もし仮にこの物理計測は開講すれば「その法学者は掃除し易くない」ということは正しい fact16: もし「そのグラビア雑誌は止めど無いということはないし掃除し易くない」ということは真実ならこの輪島塗りは開講しない fact17: 仮になんらかのものが波打つとしたらそれは開講する fact18: なにかは鉄拳であるならばそれは一挙一動だ fact19: もし仮に「この輪島塗りは慎ましくないし更にそれは汚れ易くない」ということは成り立たないとすればそのグラビア雑誌は差し通す fact20: この物理計測は鉄拳だ
void -> assump1: 以下のように仮定する。「この輪島塗りは慎ましくないしかつそれは汚れ易いということはない」ということは正しくない; fact19 & assump1 -> int1: そのグラビア雑誌は差し通す; int1 -> int2: そのグラビア雑誌は倹しかないかまたは差し通すか両方ともだ; fact2 -> int3: そのグラビア雑誌は波打つ; fact3 -> int4: 仮にそのグラビア雑誌は波打つなら「「倹しかないかまたはそれは差し通すか両方ともだ」ということは成り立つ」ということは成り立たない; int3 & int4 -> int5: 「そのグラビア雑誌は倹しかないか差し通すかまたは両方ともである」ということは誤りである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この輪島塗りは慎ましくなくて加えて汚れ易くない; int7 & fact6 -> int8: この物理計測は開講する; int8 & fact15 -> int9: その法学者は掃除し易くない; int9 & fact9 -> hypothesis;
その連続波ドプラ法は差し通さないかもしくは孤高であるか両方である
fact23 -> int10: 仮に「この輪島塗りは開講しない」ということは確かであるなら倹しいということはない; fact24 -> int11: そのグラビア雑誌が本当らしくないとしたらそれは止めど無くなくて掃除し易くない; fact26 -> int12: そのグラビア雑誌は思慮深くない一方で波打つとしたらそれは本当らしいということはない; fact27 -> int13: もしもこの物理計測は鉄拳であるならば一挙一動だ; int13 & fact25 -> int14: 「この物理計測は一挙一動だ」ということは成り立つ;
$facts$ = fact1: もしとあるものは思慮深いということはないが波打つとすると本当らしくない fact2: そのグラビア雑誌は波打つし更にそれは思慮深い fact3: もし仮に何かは波打つとすれば「それは倹しかないかあるいはそれは差し通すかまたは両方だ」ということは誤っている fact4: 思慮深いものは波打つかあるいは掃除し易いということはないかどちらもだ fact5: 仮にとあるものは本当らしくないとすると止めど無くないしさらにそれは掃除し易いということはない fact6: もし仮にこの輪島塗りが慎ましくないししかも汚れ易いということはないならこの物理計測は開講する fact7: そのグラビア雑誌は倹しい fact8: この輪島塗りは掃除し易くないとすると開講する fact9: もしもその法学者は掃除し易くないとすると「その連続波ドプラ法は本当らしいしそれは止めど無い」ということは真実である fact10: そのグラビア雑誌は掃除し易くないかもしくは差し通すかあるいは両方だ fact11: 仮にある物は開講するとすると「差し通さなくてそれに倹しかない」ということは事実と異なる fact12: 仮にある物は開講しないとすると「それは倹しかない」ということは確かだ fact13: もしも「倹しかない」物があればその連続波ドプラ法は差し通さないかそれは孤高である fact14: 全ては思慮深くて加えて一挙一動だ fact15: もし仮にこの物理計測は開講すれば「その法学者は掃除し易くない」ということは正しい fact16: もし「そのグラビア雑誌は止めど無いということはないし掃除し易くない」ということは真実ならこの輪島塗りは開講しない fact17: 仮になんらかのものが波打つとしたらそれは開講する fact18: なにかは鉄拳であるならばそれは一挙一動だ fact19: もし仮に「この輪島塗りは慎ましくないし更にそれは汚れ易くない」ということは成り立たないとすればそのグラビア雑誌は差し通す fact20: この物理計測は鉄拳だ ; $hypothesis$ = その連続波ドプラ法は本当らしいし止めど無い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この輪島塗りは慎ましくないしかつそれは汚れ易いということはない」ということは正しくない; fact19 & assump1 -> int1: そのグラビア雑誌は差し通す; int1 -> int2: そのグラビア雑誌は倹しかないかまたは差し通すか両方ともだ; fact2 -> int3: そのグラビア雑誌は波打つ; fact3 -> int4: 仮にそのグラビア雑誌は波打つなら「「倹しかないかまたはそれは差し通すか両方ともだ」ということは成り立つ」ということは成り立たない; int3 & int4 -> int5: 「そのグラビア雑誌は倹しかないか差し通すかまたは両方ともである」ということは誤りである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この輪島塗りは慎ましくなくて加えて汚れ易くない; int7 & fact6 -> int8: この物理計測は開講する; int8 & fact15 -> int9: その法学者は掃除し易くない; int9 & fact9 -> hypothesis; __PROVED__
事実1: もしとあるものは思慮深いということはないが波打つとすると本当らしくない
事実2: そのグラビア雑誌は波打つし更にそれは思慮深い
事実3: もし仮に何かは波打つとすれば「それは倹しかないかあるいはそれは差し通すかまたは両方だ」ということは誤っている
事実4: 思慮深いものは波打つかあるいは掃除し易いということはないかどちらもだ
事実5: 仮にとあるものは本当らしくないとすると止めど無くないしさらにそれは掃除し易いということはない
事実6: もし仮にこの輪島塗りが慎ましくないししかも汚れ易いということはないならこの物理計測は開講する
事実7: そのグラビア雑誌は倹しい
事実8: この輪島塗りは掃除し易くないとすると開講する
事実9: もしもその法学者は掃除し易くないとすると「その連続波ドプラ法は本当らしいしそれは止めど無い」ということは真実である
事実10: そのグラビア雑誌は掃除し易くないかもしくは差し通すかあるいは両方だ
事実11: 仮にある物は開講するとすると「差し通さなくてそれに倹しかない」ということは事実と異なる
事実12: 仮にある物は開講しないとすると「それは倹しかない」ということは確かだ
事実13: もしも「倹しかない」物があればその連続波ドプラ法は差し通さないかそれは孤高である
事実14: 全ては思慮深くて加えて一挙一動だ
事実15: もし仮にこの物理計測は開講すれば「その法学者は掃除し易くない」ということは正しい
事実16: もし「そのグラビア雑誌は止めど無いということはないし掃除し易くない」ということは真実ならこの輪島塗りは開講しない
事実17: 仮になんらかのものが波打つとしたらそれは開講する
事実18: なにかは鉄拳であるならばそれは一挙一動だ
事実19: もし仮に「この輪島塗りは慎ましくないし更にそれは汚れ易くない」ということは成り立たないとすればそのグラビア雑誌は差し通す
事実20: この物理計測は鉄拳だ

仮説: その連続波ドプラ法は本当らしいし止めど無い
1. 仮定1: 以下のように仮定する。「この輪島塗りは慎ましくないしかつそれは汚れ易いということはない」ということは正しくない
2. 事実19と仮定1から、推論1: "そのグラビア雑誌は差し通す"が導かれる
3. 推論1から、推論2: "そのグラビア雑誌は倹しかないかまたは差し通すか両方ともだ"が導かれる
4. 事実2から、推論3: "そのグラビア雑誌は波打つ"が導かれる
5. 事実3から、推論4: "仮にそのグラビア雑誌は波打つなら「「倹しかないかまたはそれは差し通すか両方ともだ」ということは成り立つ」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「そのグラビア雑誌は倹しかないか差し通すかまたは両方ともである」ということは誤りである"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この輪島塗りは慎ましくなくて加えて汚れ易くない"が導かれる
9. 推論7と事実6から、推論8: "この物理計測は開講する"が導かれる
10. 推論8と事実15から、推論9: "その法学者は掃除し易くない"が導かれる
11. 推論9と事実9から、仮説が導かれる

よって、仮説が証明されました。