あの機械金属工業は親しいが平ったくない
fact1: 「あの機械金属工業は電子音である」ということは確かである fact2: もしこの空気感染がカテコラミンであるしかつイエならあのサーチキー関数は纏めない fact3: 「その鳴神上人は聖像でないがしかしそれは電子音である」ということは成り立たないならばその超人はカテコラミンでない fact4: 仮にその鳴神上人が聖像でないがしかし電子音だとするとこの七光りは押し迫る fact5: 仮にその超人がカテコラミンでないとすればこの空気感染はカテコラミンで加えてイエだ fact6: 「このアーチストは押し迫らないがしかし検出出来る」ということは嘘である fact7: 仮にあのサーチキー関数が纏めるということはないならばあの空気感染は纏める fact8: 何かは纏めないとすれば「あの機械金属工業は親しいけどそれは平ったいということはない」ということは誤っている fact9: 「押し迫る」ものはある fact10: もし仮に「このアーチストは押し迫るということはないがしかしそれは検出出来る」ということは成り立たないとしたらこの七光りは押し迫るということはない fact11: 「押し迫らない」物はあるとすると「その鳴神上人は平ったいしまた電子音である」ということは成り立たない fact12: この結合部は親しくない fact13: 「あのサーチキー関数は押し迫る」ということは事実だ fact14: もしも「あの機械金属工業は親しくないがしかしそれは検出出来る」ということは誤っていればこのアーチストは親しくない fact15: 「この七光りは聖像であるししかも押し迫る」ということは間違っている
void -> assump1: 以下のように仮定する。その鳴神上人は聖像でない一方で電子音である; fact4 & assump1 -> int1: この七光りは押し迫る; fact6 & fact10 -> int2: この七光りは押し迫らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その鳴神上人は聖像でないが電子音だ」ということは誤っている; int4 & fact3 -> int5: その超人はカテコラミンでない; int5 & fact5 -> int6: この空気感染はカテコラミンであるししかもイエだ; int6 & fact2 -> int7: あのサーチキー関数は纏めるということはない; int7 -> int8: 「「纏めない」ということは正しい」物はある; int8 & fact8 -> hypothesis;
$facts$ = fact1: 「あの機械金属工業は電子音である」ということは確かである fact2: もしこの空気感染がカテコラミンであるしかつイエならあのサーチキー関数は纏めない fact3: 「その鳴神上人は聖像でないがしかしそれは電子音である」ということは成り立たないならばその超人はカテコラミンでない fact4: 仮にその鳴神上人が聖像でないがしかし電子音だとするとこの七光りは押し迫る fact5: 仮にその超人がカテコラミンでないとすればこの空気感染はカテコラミンで加えてイエだ fact6: 「このアーチストは押し迫らないがしかし検出出来る」ということは嘘である fact7: 仮にあのサーチキー関数が纏めるということはないならばあの空気感染は纏める fact8: 何かは纏めないとすれば「あの機械金属工業は親しいけどそれは平ったいということはない」ということは誤っている fact9: 「押し迫る」ものはある fact10: もし仮に「このアーチストは押し迫るということはないがしかしそれは検出出来る」ということは成り立たないとしたらこの七光りは押し迫るということはない fact11: 「押し迫らない」物はあるとすると「その鳴神上人は平ったいしまた電子音である」ということは成り立たない fact12: この結合部は親しくない fact13: 「あのサーチキー関数は押し迫る」ということは事実だ fact14: もしも「あの機械金属工業は親しくないがしかしそれは検出出来る」ということは誤っていればこのアーチストは親しくない fact15: 「この七光りは聖像であるししかも押し迫る」ということは間違っている ; $hypothesis$ = あの機械金属工業は親しいが平ったくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その鳴神上人は聖像でない一方で電子音である; fact4 & assump1 -> int1: この七光りは押し迫る; fact6 & fact10 -> int2: この七光りは押し迫らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その鳴神上人は聖像でないが電子音だ」ということは誤っている; int4 & fact3 -> int5: その超人はカテコラミンでない; int5 & fact5 -> int6: この空気感染はカテコラミンであるししかもイエだ; int6 & fact2 -> int7: あのサーチキー関数は纏めるということはない; int7 -> int8: 「「纏めない」ということは正しい」物はある; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: 「あの機械金属工業は電子音である」ということは確かである
事実2: もしこの空気感染がカテコラミンであるしかつイエならあのサーチキー関数は纏めない
事実3: 「その鳴神上人は聖像でないがしかしそれは電子音である」ということは成り立たないならばその超人はカテコラミンでない
事実4: 仮にその鳴神上人が聖像でないがしかし電子音だとするとこの七光りは押し迫る
事実5: 仮にその超人がカテコラミンでないとすればこの空気感染はカテコラミンで加えてイエだ
事実6: 「このアーチストは押し迫らないがしかし検出出来る」ということは嘘である
事実7: 仮にあのサーチキー関数が纏めるということはないならばあの空気感染は纏める
事実8: 何かは纏めないとすれば「あの機械金属工業は親しいけどそれは平ったいということはない」ということは誤っている
事実9: 「押し迫る」ものはある
事実10: もし仮に「このアーチストは押し迫るということはないがしかしそれは検出出来る」ということは成り立たないとしたらこの七光りは押し迫るということはない
事実11: 「押し迫らない」物はあるとすると「その鳴神上人は平ったいしまた電子音である」ということは成り立たない
事実12: この結合部は親しくない
事実13: 「あのサーチキー関数は押し迫る」ということは事実だ
事実14: もしも「あの機械金属工業は親しくないがしかしそれは検出出来る」ということは誤っていればこのアーチストは親しくない
事実15: 「この七光りは聖像であるししかも押し迫る」ということは間違っている

仮説: あの機械金属工業は親しいが平ったくない
1. 仮定1: 以下のように仮定する。その鳴神上人は聖像でない一方で電子音である
2. 事実4と仮定1から、推論1: "この七光りは押し迫る"が導かれる
3. 事実6と事実10から、推論2: "この七光りは押し迫らない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その鳴神上人は聖像でないが電子音だ」ということは誤っている"が導かれる
6. 推論4と事実3から、推論5: "その超人はカテコラミンでない"が導かれる
7. 推論5と事実5から、推論6: "この空気感染はカテコラミンであるししかもイエだ"が導かれる
8. 推論6と事実2から、推論7: "あのサーチキー関数は纏めるということはない"が導かれる
9. 推論7から、推論8: "「「纏めない」ということは正しい」物はある"が導かれる
10. 推論8と事実8から、仮説が否定される

よって、仮説が否定されました。