あの個人力は守り続けない
fact1: あの個人力は子会社間であるしおまけに習合する fact2: もしその全日本はせこくないなら居辛くなくてしかもそれは痛恨である fact3: 「十八ゲージ注射針でおまけに塗り重ねる」ものはある fact4: 結び付き難いということはない物はせこいということはない fact5: あの個人力が習合するしそれが守り続けるとしたらその全日本は結び付き難くない fact6: 十八ゲージ注射針が塗り重ねるとしたらその全日本は痛恨でない
fact1 -> int1: あの個人力は習合する; void -> assump1: 以下のように仮定する。「あの個人力は守り続ける」ということは成り立つ; int1 & assump1 -> int2: あの個人力は習合するししかも守り続ける; int2 & fact5 -> int3: その全日本は結び付き難くない; fact4 -> int4: もしもその全日本が結び付き難くないとしたらせこくない; int3 & int4 -> int5: その全日本はせこくない; int5 & fact2 -> int6: その全日本は居辛くないけれど痛恨だ; int6 -> int7: その全日本は痛恨である; fact3 & fact6 -> int8: その全日本は痛恨だということはない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
$facts$ = fact1: あの個人力は子会社間であるしおまけに習合する fact2: もしその全日本はせこくないなら居辛くなくてしかもそれは痛恨である fact3: 「十八ゲージ注射針でおまけに塗り重ねる」ものはある fact4: 結び付き難いということはない物はせこいということはない fact5: あの個人力が習合するしそれが守り続けるとしたらその全日本は結び付き難くない fact6: 十八ゲージ注射針が塗り重ねるとしたらその全日本は痛恨でない ; $hypothesis$ = あの個人力は守り続けない ; $proof$ = 
fact1 -> int1: あの個人力は習合する; void -> assump1: 以下のように仮定する。「あの個人力は守り続ける」ということは成り立つ; int1 & assump1 -> int2: あの個人力は習合するししかも守り続ける; int2 & fact5 -> int3: その全日本は結び付き難くない; fact4 -> int4: もしもその全日本が結び付き難くないとしたらせこくない; int3 & int4 -> int5: その全日本はせこくない; int5 & fact2 -> int6: その全日本は居辛くないけれど痛恨だ; int6 -> int7: その全日本は痛恨である; fact3 & fact6 -> int8: その全日本は痛恨だということはない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: あの個人力は子会社間であるしおまけに習合する
事実2: もしその全日本はせこくないなら居辛くなくてしかもそれは痛恨である
事実3: 「十八ゲージ注射針でおまけに塗り重ねる」ものはある
事実4: 結び付き難いということはない物はせこいということはない
事実5: あの個人力が習合するしそれが守り続けるとしたらその全日本は結び付き難くない
事実6: 十八ゲージ注射針が塗り重ねるとしたらその全日本は痛恨でない

仮説: あの個人力は守り続けない
1. 事実1から、推論1: "あの個人力は習合する"が導かれる
2. 仮定1: 以下のように仮定する。「あの個人力は守り続ける」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの個人力は習合するししかも守り続ける"が導かれる
4. 推論2と事実5から、推論3: "その全日本は結び付き難くない"が導かれる
5. 事実4から、推論4: "もしもその全日本が結び付き難くないとしたらせこくない"が導かれる
6. 推論3と推論4から、推論5: "その全日本はせこくない"が導かれる
7. 推論5と事実2から、推論6: "その全日本は居辛くないけれど痛恨だ"が導かれる
8. 推論6から、推論7: "その全日本は痛恨である"が導かれる
9. 事実3と事実6から、推論8: "その全日本は痛恨だということはない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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