この諸経はタイトルらしくない
fact1: 「「なにかはタイトルらしくないし加えてカラオケボックスでない」ということは嘘ならばタイトルらしい」ということは誤っていない fact2: この整理力は馴染み難いしかつジャンボジェット機だ fact3: 「この整理力は対象国である一方で平たくない」ということは事実でない fact4: もしこの諸経はジャンボジェット機でないならば「タイトルらしいしカラオケボックスである」ということは真実だ fact5: この整理力はカラオケボックスである fact6: もしも「とあるものはカラオケボックスでないししかもタイトルらしくない」ということは真実でないならば「カラオケボックスである」ということは成り立つ fact7: それは対象国であるし平たくないというものはない fact8: あの極まりはカラオケボックスでない fact9: この諸経はジャンボジェット機だし加えて時価総額基準である fact10: この諸経は待ち受けない fact11: その五卿は平たい fact12: 「その妙音菩薩品はトーンダウンしないしさらに好ましくない」ということは成り立たない fact13: もし仮にあの平宗太がカラオケボックスでジャンボジェット機であるとすればこの整理力は対象国でない fact14: あの平宗太は安し fact15: 対象国でなくてその上平たくないという物はない fact16: 「あの平宗太は平たくないしカラオケボックスであるということはない」ということは成り立たない fact17: 「何かは対象国でなくてそれは平たくない」ということは成り立たないとしたらそれは対象国である fact18: あの平宗太は快適感でない fact19: あの平宗太はジャンボジェット機だ fact20: この整理力は各種センサーだししかも切り易い fact21: もしあの平宗太がカラオケボックスでないとすればこの諸経はタイトルらしくない
void -> assump1: 以下のように仮定する。あの平宗太はカラオケボックスである; assump1 & fact19 -> int1: 「あの平宗太はカラオケボックスでしかもジャンボジェット機である」ということは成り立つ; int1 & fact13 -> int2: この整理力は対象国でない; fact15 -> int3: 「この整理力は対象国でないしさらに平たいということはない」ということは誤りだ; fact17 -> int4: もしも「この整理力は対象国であるということはないしかつ平たくない」ということは成り立つということはないなら対象国である; int3 & int4 -> int5: この整理力は対象国だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの平宗太はカラオケボックスでない; int7 & fact21 -> hypothesis;
この諸経はタイトルらしい
$facts$ = fact1: 「「なにかはタイトルらしくないし加えてカラオケボックスでない」ということは嘘ならばタイトルらしい」ということは誤っていない fact2: この整理力は馴染み難いしかつジャンボジェット機だ fact3: 「この整理力は対象国である一方で平たくない」ということは事実でない fact4: もしこの諸経はジャンボジェット機でないならば「タイトルらしいしカラオケボックスである」ということは真実だ fact5: この整理力はカラオケボックスである fact6: もしも「とあるものはカラオケボックスでないししかもタイトルらしくない」ということは真実でないならば「カラオケボックスである」ということは成り立つ fact7: それは対象国であるし平たくないというものはない fact8: あの極まりはカラオケボックスでない fact9: この諸経はジャンボジェット機だし加えて時価総額基準である fact10: この諸経は待ち受けない fact11: その五卿は平たい fact12: 「その妙音菩薩品はトーンダウンしないしさらに好ましくない」ということは成り立たない fact13: もし仮にあの平宗太がカラオケボックスでジャンボジェット機であるとすればこの整理力は対象国でない fact14: あの平宗太は安し fact15: 対象国でなくてその上平たくないという物はない fact16: 「あの平宗太は平たくないしカラオケボックスであるということはない」ということは成り立たない fact17: 「何かは対象国でなくてそれは平たくない」ということは成り立たないとしたらそれは対象国である fact18: あの平宗太は快適感でない fact19: あの平宗太はジャンボジェット機だ fact20: この整理力は各種センサーだししかも切り易い fact21: もしあの平宗太がカラオケボックスでないとすればこの諸経はタイトルらしくない ; $hypothesis$ = この諸経はタイトルらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの平宗太はカラオケボックスである; assump1 & fact19 -> int1: 「あの平宗太はカラオケボックスでしかもジャンボジェット機である」ということは成り立つ; int1 & fact13 -> int2: この整理力は対象国でない; fact15 -> int3: 「この整理力は対象国でないしさらに平たいということはない」ということは誤りだ; fact17 -> int4: もしも「この整理力は対象国であるということはないしかつ平たくない」ということは成り立つということはないなら対象国である; int3 & int4 -> int5: この整理力は対象国だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの平宗太はカラオケボックスでない; int7 & fact21 -> hypothesis; __PROVED__
事実1: 「「なにかはタイトルらしくないし加えてカラオケボックスでない」ということは嘘ならばタイトルらしい」ということは誤っていない
事実2: この整理力は馴染み難いしかつジャンボジェット機だ
事実3: 「この整理力は対象国である一方で平たくない」ということは事実でない
事実4: もしこの諸経はジャンボジェット機でないならば「タイトルらしいしカラオケボックスである」ということは真実だ
事実5: この整理力はカラオケボックスである
事実6: もしも「とあるものはカラオケボックスでないししかもタイトルらしくない」ということは真実でないならば「カラオケボックスである」ということは成り立つ
事実7: それは対象国であるし平たくないというものはない
事実8: あの極まりはカラオケボックスでない
事実9: この諸経はジャンボジェット機だし加えて時価総額基準である
事実10: この諸経は待ち受けない
事実11: その五卿は平たい
事実12: 「その妙音菩薩品はトーンダウンしないしさらに好ましくない」ということは成り立たない
事実13: もし仮にあの平宗太がカラオケボックスでジャンボジェット機であるとすればこの整理力は対象国でない
事実14: あの平宗太は安し
事実15: 対象国でなくてその上平たくないという物はない
事実16: 「あの平宗太は平たくないしカラオケボックスであるということはない」ということは成り立たない
事実17: 「何かは対象国でなくてそれは平たくない」ということは成り立たないとしたらそれは対象国である
事実18: あの平宗太は快適感でない
事実19: あの平宗太はジャンボジェット機だ
事実20: この整理力は各種センサーだししかも切り易い
事実21: もしあの平宗太がカラオケボックスでないとすればこの諸経はタイトルらしくない

仮説: この諸経はタイトルらしくない
1. 仮定1: 以下のように仮定する。あの平宗太はカラオケボックスである
2. 仮定1と事実19から、推論1: "「あの平宗太はカラオケボックスでしかもジャンボジェット機である」ということは成り立つ"が導かれる
3. 推論1と事実13から、推論2: "この整理力は対象国でない"が導かれる
4. 事実15から、推論3: "「この整理力は対象国でないしさらに平たいということはない」ということは誤りだ"が導かれる
5. 事実17から、推論4: "もしも「この整理力は対象国であるということはないしかつ平たくない」ということは成り立つということはないなら対象国である"が導かれる
6. 推論3と推論4から、推論5: "この整理力は対象国だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの平宗太はカラオケボックスでない"が導かれる
9. 推論7と事実21から、仮説が導かれる

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