その虚仮は引かす一方で柔くない
fact1: 「もしある物は揺るぎなくないとすれば「引かすし柔くない」ということは成り立たない」ということは確かである fact2: 想定し難くないものは保続するしまた引かす fact3: もしもこの茨髭が捨て難くないとしたらあの長打は揺るぎない fact4: あの長打は柔いしそれは教示する fact5: 「その虚仮はフォルス・クラビゲラであるしそれに睨み付ける」ということは成り立たない fact6: 仮にその虚仮は捨て難くないとしたら「それはフォルス・クラビゲラだしさらに睨み付ける」ということは誤りだ fact7: あの長打が柔いしその上教示するならその虚仮は柔くない fact8: もしその虚仮は想定し難くないとすると保続する fact9: もし仮に「なんらかの物はフォルス・クラビゲラでないけれど睨み付ける」ということは誤っているならそれは算盤型である fact10: なにかは揺るぎなくないとすると答え得る fact11: 想定し難くないものは保続する fact12: もしもその虚仮が捨て難いし更にそれは算盤型だとすれば「あの長打は捨て難くない」ということは事実だ fact13: フォルス・クラビゲラは算盤型だ fact14: 何かは算盤型であるかあるいはそれは揺るぎないかまたは両方ともならそれは想定し難くない fact15: この一打は占有すらない fact16: もし仮になにがしかのものが揺るぎないならばそれは想定し難くない fact17: もし仮にその虚仮は揺るぎないなら「それは想定し難くない」ということは真実だ fact18: もしあの長打は想定し難いけど算盤型でないならそれは揺るぎなくない fact19: もし「なにかは保続しない」ということは成り立つとすると算盤型であるしそれにそれは想定し難くない fact20: その虚仮は保続する fact21: 仮にその虚仮はフォルス・クラビゲラだとすれば「それは算盤型だ」ということは誤りでない fact22: 「その虚仮は捨て難くない」ということは成り立つ fact23: 「あの長打は柔い」ということは真実だ fact24: 仮にその虚仮は捨て難くないなら「それはフォルス・クラビゲラだということはなくておまけに睨み付ける」ということは間違いだ fact25: 仮にあの長打が算盤型であるしさらに揺るぎないとすればその虚仮は揺るぎないということはない
fact9 -> int1: もし「その虚仮はフォルス・クラビゲラでないがしかし睨み付ける」ということは嘘であるとしたらそれは算盤型だ; fact22 & fact24 -> int2: 「その虚仮はフォルス・クラビゲラでないけど睨み付ける」ということは間違っている; int1 & int2 -> int3: その虚仮は算盤型だ; int3 -> int4: その虚仮は算盤型であるか揺るぎないか両方である; fact14 -> int5: その虚仮が算盤型であるかあるいはそれが揺るぎないならそれは想定し難くない; int4 & int5 -> int6: その虚仮は想定し難いということはない; fact2 -> int7: 仮に「その虚仮は想定し難いということはない」ということは成り立つとしたらそれは保続するしおまけに引かす; int6 & int7 -> int8: その虚仮は保続するしそれは引かす; int8 -> int9: その虚仮は引かす; fact4 & fact7 -> int10: その虚仮は柔いということはない; int9 & int10 -> hypothesis;
「その虚仮は引かすけど柔くない」ということは成り立たない
fact29 -> int11: もし仮にその虚仮は揺るぎなくないとすると「それは引かすけれど柔くない」ということは間違っている; fact27 -> int12: 仮にあの長打が保続しないならばそれは算盤型だ一方で想定し難くない;
$facts$ = fact1: 「もしある物は揺るぎなくないとすれば「引かすし柔くない」ということは成り立たない」ということは確かである fact2: 想定し難くないものは保続するしまた引かす fact3: もしもこの茨髭が捨て難くないとしたらあの長打は揺るぎない fact4: あの長打は柔いしそれは教示する fact5: 「その虚仮はフォルス・クラビゲラであるしそれに睨み付ける」ということは成り立たない fact6: 仮にその虚仮は捨て難くないとしたら「それはフォルス・クラビゲラだしさらに睨み付ける」ということは誤りだ fact7: あの長打が柔いしその上教示するならその虚仮は柔くない fact8: もしその虚仮は想定し難くないとすると保続する fact9: もし仮に「なんらかの物はフォルス・クラビゲラでないけれど睨み付ける」ということは誤っているならそれは算盤型である fact10: なにかは揺るぎなくないとすると答え得る fact11: 想定し難くないものは保続する fact12: もしもその虚仮が捨て難いし更にそれは算盤型だとすれば「あの長打は捨て難くない」ということは事実だ fact13: フォルス・クラビゲラは算盤型だ fact14: 何かは算盤型であるかあるいはそれは揺るぎないかまたは両方ともならそれは想定し難くない fact15: この一打は占有すらない fact16: もし仮になにがしかのものが揺るぎないならばそれは想定し難くない fact17: もし仮にその虚仮は揺るぎないなら「それは想定し難くない」ということは真実だ fact18: もしあの長打は想定し難いけど算盤型でないならそれは揺るぎなくない fact19: もし「なにかは保続しない」ということは成り立つとすると算盤型であるしそれにそれは想定し難くない fact20: その虚仮は保続する fact21: 仮にその虚仮はフォルス・クラビゲラだとすれば「それは算盤型だ」ということは誤りでない fact22: 「その虚仮は捨て難くない」ということは成り立つ fact23: 「あの長打は柔い」ということは真実だ fact24: 仮にその虚仮は捨て難くないなら「それはフォルス・クラビゲラだということはなくておまけに睨み付ける」ということは間違いだ fact25: 仮にあの長打が算盤型であるしさらに揺るぎないとすればその虚仮は揺るぎないということはない ; $hypothesis$ = その虚仮は引かす一方で柔くない ; $proof$ = 
fact9 -> int1: もし「その虚仮はフォルス・クラビゲラでないがしかし睨み付ける」ということは嘘であるとしたらそれは算盤型だ; fact22 & fact24 -> int2: 「その虚仮はフォルス・クラビゲラでないけど睨み付ける」ということは間違っている; int1 & int2 -> int3: その虚仮は算盤型だ; int3 -> int4: その虚仮は算盤型であるか揺るぎないか両方である; fact14 -> int5: その虚仮が算盤型であるかあるいはそれが揺るぎないならそれは想定し難くない; int4 & int5 -> int6: その虚仮は想定し難いということはない; fact2 -> int7: 仮に「その虚仮は想定し難いということはない」ということは成り立つとしたらそれは保続するしおまけに引かす; int6 & int7 -> int8: その虚仮は保続するしそれは引かす; int8 -> int9: その虚仮は引かす; fact4 & fact7 -> int10: その虚仮は柔いということはない; int9 & int10 -> hypothesis; __PROVED__
事実1: 「もしある物は揺るぎなくないとすれば「引かすし柔くない」ということは成り立たない」ということは確かである
事実2: 想定し難くないものは保続するしまた引かす
事実3: もしもこの茨髭が捨て難くないとしたらあの長打は揺るぎない
事実4: あの長打は柔いしそれは教示する
事実5: 「その虚仮はフォルス・クラビゲラであるしそれに睨み付ける」ということは成り立たない
事実6: 仮にその虚仮は捨て難くないとしたら「それはフォルス・クラビゲラだしさらに睨み付ける」ということは誤りだ
事実7: あの長打が柔いしその上教示するならその虚仮は柔くない
事実8: もしその虚仮は想定し難くないとすると保続する
事実9: もし仮に「なんらかの物はフォルス・クラビゲラでないけれど睨み付ける」ということは誤っているならそれは算盤型である
事実10: なにかは揺るぎなくないとすると答え得る
事実11: 想定し難くないものは保続する
事実12: もしもその虚仮が捨て難いし更にそれは算盤型だとすれば「あの長打は捨て難くない」ということは事実だ
事実13: フォルス・クラビゲラは算盤型だ
事実14: 何かは算盤型であるかあるいはそれは揺るぎないかまたは両方ともならそれは想定し難くない
事実15: この一打は占有すらない
事実16: もし仮になにがしかのものが揺るぎないならばそれは想定し難くない
事実17: もし仮にその虚仮は揺るぎないなら「それは想定し難くない」ということは真実だ
事実18: もしあの長打は想定し難いけど算盤型でないならそれは揺るぎなくない
事実19: もし「なにかは保続しない」ということは成り立つとすると算盤型であるしそれにそれは想定し難くない
事実20: その虚仮は保続する
事実21: 仮にその虚仮はフォルス・クラビゲラだとすれば「それは算盤型だ」ということは誤りでない
事実22: 「その虚仮は捨て難くない」ということは成り立つ
事実23: 「あの長打は柔い」ということは真実だ
事実24: 仮にその虚仮は捨て難くないなら「それはフォルス・クラビゲラだということはなくておまけに睨み付ける」ということは間違いだ
事実25: 仮にあの長打が算盤型であるしさらに揺るぎないとすればその虚仮は揺るぎないということはない

仮説: その虚仮は引かす一方で柔くない
1. 事実9から、推論1: "もし「その虚仮はフォルス・クラビゲラでないがしかし睨み付ける」ということは嘘であるとしたらそれは算盤型だ"が導かれる
2. 事実22と事実24から、推論2: "「その虚仮はフォルス・クラビゲラでないけど睨み付ける」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "その虚仮は算盤型だ"が導かれる
4. 推論3から、推論4: "その虚仮は算盤型であるか揺るぎないか両方である"が導かれる
5. 事実14から、推論5: "その虚仮が算盤型であるかあるいはそれが揺るぎないならそれは想定し難くない"が導かれる
6. 推論4と推論5から、推論6: "その虚仮は想定し難いということはない"が導かれる
7. 事実2から、推論7: "仮に「その虚仮は想定し難いということはない」ということは成り立つとしたらそれは保続するしおまけに引かす"が導かれる
8. 推論6と推論7から、推論8: "その虚仮は保続するしそれは引かす"が導かれる
9. 推論8から、推論9: "その虚仮は引かす"が導かれる
10. 事実4と事実7から、推論10: "その虚仮は柔いということはない"が導かれる
11. 推論9と推論10から、仮説が導かれる

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