そのフリーマンは刻印する
fact1: もしも「フォン・ドゥ・ボーである」ものはあるとすると「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーであるということはない」ということは誤っている fact2: もしもこの罷る返しの玉はフォン・ドゥ・ボーでないとしたら「この日本史広辞典は男の子らしくないしおまけにそれは似付かわしくらない」ということは事実と異なる fact3: もしもこの学生諸君は御構い無いけれど心理学化しないとすると「あの皮膚移植は男の子らしい」ということは確かである fact4: 「誘いであるがしかし尽くし難くない」物はある fact5: 「この日本史広辞典はフォン・ドゥ・ボーである」ということは事実であるならばあのフリーマンは刻印する fact6: あの皮膚移植はメイド・イン・チャイナだ fact7: もし仮にあの皮膚移植は心理学化するということはないとすれば「この学生諸君は維新史料綱要である一方で御構い無くない」ということは事実と異なる fact8: もし仮にこの学生諸君が男の子らしくないとするとあの皮膚移植は維新史料綱要であるということはないがしかしそれは心理学化する fact9: あの皮膚移植は心理学化しない fact10: もしこの日本史広辞典が刻印しないならばあの学生諸君は男の子らしくないし加えてフォン・ドゥ・ボーでない fact11: この罷る返しの玉はフォン・ドゥ・ボーだ fact12: もしも「あのマスコミ界は尽くし難いということはないけど偏り易い」ということは事実と異なればこの本場韓国は誘いでない fact13: もし仮にその自由意見がフォン・ドゥ・ボーであるかまたは誘いでないかどちらもであるならこの罷る返しの玉はフォン・ドゥ・ボーでない fact14: 「誘いな」物はある fact15: 「「厳めしくらないしかつ戒厳令でない」ということは成り立たない」ものがあるとすればあのマスコミ界は審査官だ fact16: もしもあの皮膚移植が男の子らしいとすればこの日本史広辞典は似付かわしい fact17: 仮になにがしかの物は審査官だとすると「それが尽くし難いということはないしさらに偏り易い」ということは嘘だ fact18: この資金調達面は開口出来るけれど維新史料綱要であるということはない fact19: もし仮に「この日本史広辞典は男の子らしくないし似付かわしいということはない」ということは誤りであるとするとあの皮膚移植は心理学化しない fact20: 仮にとあるものは誘いであるがしかし尽くし難くないとしたら「この学生諸君は心理学化しない」ということは真実だ fact21: この学生諸君は御構い無いがしかし維新史料綱要だということはない fact22: 「その通常時は厳めしくらないしその上戒厳令でない」ということは事実と異なる
fact21 -> int1: この学生諸君は御構い無い; fact20 & fact4 -> int2: この学生諸君は心理学化しない; int1 & int2 -> int3: この学生諸君は御構い無い一方で心理学化しない; int3 & fact3 -> int4: あの皮膚移植は男の子らしい; int4 & fact16 -> int5: この日本史広辞典は似付かわしい; void -> assump1: 以下のように仮定する。この日本史広辞典はフォン・ドゥ・ボーでない; int5 & assump1 -> int6: この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない; fact11 -> int7: 「フォン・ドゥ・ボーな」ものはある; int7 & fact1 -> int8: 「「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない」ということは成り立たない」ということは正しい; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この日本史広辞典はフォン・ドゥ・ボーである; int10 & fact5 -> hypothesis;
そのフリーマンは刻印しない
fact30 -> int11: もしもあのマスコミ界は審査官であるとすると「それは尽くし難いということはないけれど偏り易い」ということは間違いだ; fact28 -> int12: 「「厳めしいということはなくてそれに戒厳令でない」ということは誤っている」ものはある; int12 & fact24 -> int13: あのマスコミ界は審査官である; int11 & int13 -> int14: 「あのマスコミ界は尽くし難くないが偏り易い」ということは誤りだ; fact29 & int14 -> int15: この本場韓国は誘いでない; int15 -> int16: 「誘いでない」ものはある;
$facts$ = fact1: もしも「フォン・ドゥ・ボーである」ものはあるとすると「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーであるということはない」ということは誤っている fact2: もしもこの罷る返しの玉はフォン・ドゥ・ボーでないとしたら「この日本史広辞典は男の子らしくないしおまけにそれは似付かわしくらない」ということは事実と異なる fact3: もしもこの学生諸君は御構い無いけれど心理学化しないとすると「あの皮膚移植は男の子らしい」ということは確かである fact4: 「誘いであるがしかし尽くし難くない」物はある fact5: 「この日本史広辞典はフォン・ドゥ・ボーである」ということは事実であるならばあのフリーマンは刻印する fact6: あの皮膚移植はメイド・イン・チャイナだ fact7: もし仮にあの皮膚移植は心理学化するということはないとすれば「この学生諸君は維新史料綱要である一方で御構い無くない」ということは事実と異なる fact8: もし仮にこの学生諸君が男の子らしくないとするとあの皮膚移植は維新史料綱要であるということはないがしかしそれは心理学化する fact9: あの皮膚移植は心理学化しない fact10: もしこの日本史広辞典が刻印しないならばあの学生諸君は男の子らしくないし加えてフォン・ドゥ・ボーでない fact11: この罷る返しの玉はフォン・ドゥ・ボーだ fact12: もしも「あのマスコミ界は尽くし難いということはないけど偏り易い」ということは事実と異なればこの本場韓国は誘いでない fact13: もし仮にその自由意見がフォン・ドゥ・ボーであるかまたは誘いでないかどちらもであるならこの罷る返しの玉はフォン・ドゥ・ボーでない fact14: 「誘いな」物はある fact15: 「「厳めしくらないしかつ戒厳令でない」ということは成り立たない」ものがあるとすればあのマスコミ界は審査官だ fact16: もしもあの皮膚移植が男の子らしいとすればこの日本史広辞典は似付かわしい fact17: 仮になにがしかの物は審査官だとすると「それが尽くし難いということはないしさらに偏り易い」ということは嘘だ fact18: この資金調達面は開口出来るけれど維新史料綱要であるということはない fact19: もし仮に「この日本史広辞典は男の子らしくないし似付かわしいということはない」ということは誤りであるとするとあの皮膚移植は心理学化しない fact20: 仮にとあるものは誘いであるがしかし尽くし難くないとしたら「この学生諸君は心理学化しない」ということは真実だ fact21: この学生諸君は御構い無いがしかし維新史料綱要だということはない fact22: 「その通常時は厳めしくらないしその上戒厳令でない」ということは事実と異なる ; $hypothesis$ = そのフリーマンは刻印する ; $proof$ = 
fact21 -> int1: この学生諸君は御構い無い; fact20 & fact4 -> int2: この学生諸君は心理学化しない; int1 & int2 -> int3: この学生諸君は御構い無い一方で心理学化しない; int3 & fact3 -> int4: あの皮膚移植は男の子らしい; int4 & fact16 -> int5: この日本史広辞典は似付かわしい; void -> assump1: 以下のように仮定する。この日本史広辞典はフォン・ドゥ・ボーでない; int5 & assump1 -> int6: この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない; fact11 -> int7: 「フォン・ドゥ・ボーな」ものはある; int7 & fact1 -> int8: 「「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない」ということは成り立たない」ということは正しい; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この日本史広辞典はフォン・ドゥ・ボーである; int10 & fact5 -> hypothesis; __PROVED__
事実1: もしも「フォン・ドゥ・ボーである」ものはあるとすると「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーであるということはない」ということは誤っている
事実2: もしもこの罷る返しの玉はフォン・ドゥ・ボーでないとしたら「この日本史広辞典は男の子らしくないしおまけにそれは似付かわしくらない」ということは事実と異なる
事実3: もしもこの学生諸君は御構い無いけれど心理学化しないとすると「あの皮膚移植は男の子らしい」ということは確かである
事実4: 「誘いであるがしかし尽くし難くない」物はある
事実5: 「この日本史広辞典はフォン・ドゥ・ボーである」ということは事実であるならばあのフリーマンは刻印する
事実6: あの皮膚移植はメイド・イン・チャイナだ
事実7: もし仮にあの皮膚移植は心理学化するということはないとすれば「この学生諸君は維新史料綱要である一方で御構い無くない」ということは事実と異なる
事実8: もし仮にこの学生諸君が男の子らしくないとするとあの皮膚移植は維新史料綱要であるということはないがしかしそれは心理学化する
事実9: あの皮膚移植は心理学化しない
事実10: もしこの日本史広辞典が刻印しないならばあの学生諸君は男の子らしくないし加えてフォン・ドゥ・ボーでない
事実11: この罷る返しの玉はフォン・ドゥ・ボーだ
事実12: もしも「あのマスコミ界は尽くし難いということはないけど偏り易い」ということは事実と異なればこの本場韓国は誘いでない
事実13: もし仮にその自由意見がフォン・ドゥ・ボーであるかまたは誘いでないかどちらもであるならこの罷る返しの玉はフォン・ドゥ・ボーでない
事実14: 「誘いな」物はある
事実15: 「「厳めしくらないしかつ戒厳令でない」ということは成り立たない」ものがあるとすればあのマスコミ界は審査官だ
事実16: もしもあの皮膚移植が男の子らしいとすればこの日本史広辞典は似付かわしい
事実17: 仮になにがしかの物は審査官だとすると「それが尽くし難いということはないしさらに偏り易い」ということは嘘だ
事実18: この資金調達面は開口出来るけれど維新史料綱要であるということはない
事実19: もし仮に「この日本史広辞典は男の子らしくないし似付かわしいということはない」ということは誤りであるとするとあの皮膚移植は心理学化しない
事実20: 仮にとあるものは誘いであるがしかし尽くし難くないとしたら「この学生諸君は心理学化しない」ということは真実だ
事実21: この学生諸君は御構い無いがしかし維新史料綱要だということはない
事実22: 「その通常時は厳めしくらないしその上戒厳令でない」ということは事実と異なる

仮説: そのフリーマンは刻印する
1. 事実21から、推論1: "この学生諸君は御構い無い"が導かれる
2. 事実20と事実4から、推論2: "この学生諸君は心理学化しない"が導かれる
3. 推論1と推論2から、推論3: "この学生諸君は御構い無い一方で心理学化しない"が導かれる
4. 推論3と事実3から、推論4: "あの皮膚移植は男の子らしい"が導かれる
5. 推論4と事実16から、推論5: "この日本史広辞典は似付かわしい"が導かれる
6. 仮定1: 以下のように仮定する。この日本史広辞典はフォン・ドゥ・ボーでない
7. 推論5と仮定1から、推論6: "この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない"が導かれる
8. 事実11から、推論7: "「フォン・ドゥ・ボーな」ものはある"が導かれる
9. 推論7と事実1から、推論8: "「「この日本史広辞典は似付かわしい一方でフォン・ドゥ・ボーでない」ということは成り立たない」ということは正しい"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この日本史広辞典はフォン・ドゥ・ボーである"が導かれる
12. 推論10と事実5から、仮説が導かれる

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