その島弧は他愛無くてさらにそれは林立する
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: もし仮にこの片仮名表記がやくざっぽいとしたらあの少弐氏はやくざっぽい fact26: あの少弐氏は容易いということはない一方で分かり難い
void -> assump1: 以下のように仮定する。この蕗の薹は迷い難い; assump1 & fact2 -> int1: この蕗の薹は迷い難いしそれにすばしっこい; fact6 -> int2: もし仮にこの蕗の薹が迷い難くてそれにそれがすばしっこいとすれば忘れ難くない; int1 & int2 -> int3: この蕗の薹は忘れ難いということはない; int3 -> int4: 「忘れ難くない」物はある; int4 & fact18 -> int5: 「「あの少弐氏は容易くないがしかし恭しい」ということは本当だ」ということは成り立たない; fact26 -> int6: あの少弐氏は容易くない; int6 & fact19 -> int7: あの少弐氏は容易くないが恭しい; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この蕗の薹は迷い難くない; int9 -> int10: 何らかのものは迷い難いということはない; int10 & fact7 -> hypothesis;
「その島弧が他愛無いしその上それは林立する」ということは成り立たない
fact29 -> int11: もし仮にその島弧は迷い難くないとすれば「他愛無いしまた林立する」ということは誤っている; fact34 -> int12: この蕗の薹が容易いならばそれは忘れ難いがしかしすばしっこいということはない; fact36 -> int13: もし仮にあの少弐氏は数学的部分であるとしたら「分かり難い」ということは真実だ; fact27 & fact31 -> int14: このラングは思い出深くないし本懐でない; int14 -> int15: 「このラングは思い出深くない」ということは本当である; fact37 & int15 -> int16: その保証債務は数学的部分であるか有意味性であるかあるいはどちらもである; int16 & fact33 & fact38 -> int17: あの少弐氏は数学的部分である; int13 & int17 -> int18: あの少弐氏は分かり難い;
$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: もし仮にこの片仮名表記がやくざっぽいとしたらあの少弐氏はやくざっぽい fact26: あの少弐氏は容易いということはない一方で分かり難い ; $hypothesis$ = その島弧は他愛無くてさらにそれは林立する ; $proof$ = 
void -> assump1: 以下のように仮定する。この蕗の薹は迷い難い; assump1 & fact2 -> int1: この蕗の薹は迷い難いしそれにすばしっこい; fact6 -> int2: もし仮にこの蕗の薹が迷い難くてそれにそれがすばしっこいとすれば忘れ難くない; int1 & int2 -> int3: この蕗の薹は忘れ難いということはない; int3 -> int4: 「忘れ難くない」物はある; int4 & fact18 -> int5: 「「あの少弐氏は容易くないがしかし恭しい」ということは本当だ」ということは成り立たない; fact26 -> int6: あの少弐氏は容易くない; int6 & fact19 -> int7: あの少弐氏は容易くないが恭しい; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この蕗の薹は迷い難くない; int9 -> int10: 何らかのものは迷い難いということはない; int10 & fact7 -> 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: もし仮にこの片仮名表記がやくざっぽいとしたらあの少弐氏はやくざっぽい
事実26: あの少弐氏は容易いということはない一方で分かり難い

仮説: その島弧は他愛無くてさらにそれは林立する
1. 仮定1: 以下のように仮定する。この蕗の薹は迷い難い
2. 仮定1と事実2から、推論1: "この蕗の薹は迷い難いしそれにすばしっこい"が導かれる
3. 事実6から、推論2: "もし仮にこの蕗の薹が迷い難くてそれにそれがすばしっこいとすれば忘れ難くない"が導かれる
4. 推論1と推論2から、推論3: "この蕗の薹は忘れ難いということはない"が導かれる
5. 推論3から、推論4: "「忘れ難くない」物はある"が導かれる
6. 推論4と事実18から、推論5: "「「あの少弐氏は容易くないがしかし恭しい」ということは本当だ」ということは成り立たない"が導かれる
7. 事実26から、推論6: "あの少弐氏は容易くない"が導かれる
8. 推論6と事実19から、推論7: "あの少弐氏は容易くないが恭しい"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この蕗の薹は迷い難くない"が導かれる
11. 推論9から、推論10: "何らかのものは迷い難いということはない"が導かれる
12. 推論10と事実7から、仮説が導かれる

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