「その非特異射影曲線Ｘは狭苦しい」ということは事実である
fact1: 伝え易くない物は国際組織だがしかしオーストリア軍でない fact2: もし仮にこの四隅突出型墳丘墓が恥ずかしならばこの架橋反応はマーストリヒト条約だ fact3: あの与党は拙くないなら「「それは抹消するし空輸だということはない」ということは間違いでない」ということは成り立たない fact4: 仮になんらかのものは表象しなくて甘ったるいということはないなら「それは伝え易くない」ということは本当である fact5: もしもこのＣフィルターが直観しないとしたら空輸だしそれは拙い fact6: もしこの架橋反応はマーストリヒト条約だとしたら「表象しないしそれに甘ったるくない」ということは確かである fact7: 「あの北方支援事業は共同購入であるがしかし腐らない」ということは成り立たないとするとあの与党は腐る fact8: 仮にこの架橋反応が国際組織であるけどそれがオーストリア軍でないとするとあの北方支援事業は問答しない fact9: 「あるものはみっともないしさらに強権である」ということは嘘だとすると「空輸でない」ということは成り立つ fact10: もしも「あの与党は抹消するし空輸である」ということは偽ならば直観しない fact11: 何らかの物は問答しないなら「それが共同購入だしおまけにそれは腐るということはない」ということは成り立たない fact12: もし仮にあの与党が抹消しないとすると拙くてそれに直観する fact13: もし仮にこのＣフィルターは鳴り出さないならば「弱々しいし腐る」ということは成り立たない fact14: 仮に空輸は抹消しないとすると「狭苦しい」ということは誤りでない fact15: もし「あの与党は直観しないがしかしそれは教師等だ」ということは偽であるとするとその非特異射影曲線Ｘは拙い fact16: 「恥ずかし」ものはある fact17: もし仮にこのＣフィルターは抹消すれば「その非特異射影曲線Ｘは狭苦しくない」ということは真実だ fact18: もしもなにがしかのものは抹消しないとしたら「それがみっともないしその上強権である」ということは間違いである fact19: 「あの与党は直観するということはないかあるいは腐るかもしくは両方ともである」ということは間違いだ fact20: もし「あの与党は直観しないかそれは腐る」ということは成り立たないならこのＣフィルターは直観するということはない fact21: もしもなにがしかの物は腐れば「それは直観しない一方で教師等だ」ということは成り立つということはない fact22: もし「恥ずかし」物があればこの四隅突出型墳丘墓は恥ずかしかそれはマーストリヒト条約だ fact23: もしもこのＣフィルターが拙くないならそれは抹消するし狭苦しい
fact18 -> int1: 仮にこのＣフィルターは抹消しないとすれば「みっともなくておまけに強権である」ということは嘘だ; void -> assump1: 以下のように仮定する。このＣフィルターは抹消しない; int1 & assump1 -> int2: 「「このＣフィルターはみっともないしそれは強権である」ということは間違っていない」ということは成り立たない; fact9 -> int3: もし「このＣフィルターはみっともないししかもそれは強権だ」ということは成り立つということはないとすれば空輸であるということはない; int2 & int3 -> int4: このＣフィルターは空輸でない; fact19 & fact20 -> int5: このＣフィルターは直観しない; int5 & fact5 -> int6: このＣフィルターは空輸であるしそれは拙い; int6 -> int7: 「このＣフィルターは空輸でない」ということは偽だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このＣフィルターは抹消する; int9 & fact17 -> hypothesis;
その非特異射影曲線Ｘは狭苦しい
fact32 -> int10: もしその非特異射影曲線Ｘは空輸だけれど抹消しないとすると狭苦しい; fact31 -> int11: もし仮にあの与党は腐るとすれば「直観するということはないけれど教師等である」ということは偽である; fact25 -> int12: 仮にあの北方支援事業は問答しないとすると「共同購入だけど腐るということはない」ということは成り立つということはない; fact33 -> int13: この架橋反応が伝え易くないとすればそれは国際組織であるししかもそれはオーストリア軍でない; fact30 -> int14: もしもこの架橋反応が表象しなくてそれが甘ったるくないとしたら伝え易くない; fact24 & fact35 -> int15: この四隅突出型墳丘墓は恥ずかしかそれはマーストリヒト条約であるかまたはどちらもだ;
$facts$ = fact1: 伝え易くない物は国際組織だがしかしオーストリア軍でない fact2: もし仮にこの四隅突出型墳丘墓が恥ずかしならばこの架橋反応はマーストリヒト条約だ fact3: あの与党は拙くないなら「「それは抹消するし空輸だということはない」ということは間違いでない」ということは成り立たない fact4: 仮になんらかのものは表象しなくて甘ったるいということはないなら「それは伝え易くない」ということは本当である fact5: もしもこのＣフィルターが直観しないとしたら空輸だしそれは拙い fact6: もしこの架橋反応はマーストリヒト条約だとしたら「表象しないしそれに甘ったるくない」ということは確かである fact7: 「あの北方支援事業は共同購入であるがしかし腐らない」ということは成り立たないとするとあの与党は腐る fact8: 仮にこの架橋反応が国際組織であるけどそれがオーストリア軍でないとするとあの北方支援事業は問答しない fact9: 「あるものはみっともないしさらに強権である」ということは嘘だとすると「空輸でない」ということは成り立つ fact10: もしも「あの与党は抹消するし空輸である」ということは偽ならば直観しない fact11: 何らかの物は問答しないなら「それが共同購入だしおまけにそれは腐るということはない」ということは成り立たない fact12: もし仮にあの与党が抹消しないとすると拙くてそれに直観する fact13: もし仮にこのＣフィルターは鳴り出さないならば「弱々しいし腐る」ということは成り立たない fact14: 仮に空輸は抹消しないとすると「狭苦しい」ということは誤りでない fact15: もし「あの与党は直観しないがしかしそれは教師等だ」ということは偽であるとするとその非特異射影曲線Ｘは拙い fact16: 「恥ずかし」ものはある fact17: もし仮にこのＣフィルターは抹消すれば「その非特異射影曲線Ｘは狭苦しくない」ということは真実だ fact18: もしもなにがしかのものは抹消しないとしたら「それがみっともないしその上強権である」ということは間違いである fact19: 「あの与党は直観するということはないかあるいは腐るかもしくは両方ともである」ということは間違いだ fact20: もし「あの与党は直観しないかそれは腐る」ということは成り立たないならこのＣフィルターは直観するということはない fact21: もしもなにがしかの物は腐れば「それは直観しない一方で教師等だ」ということは成り立つということはない fact22: もし「恥ずかし」物があればこの四隅突出型墳丘墓は恥ずかしかそれはマーストリヒト条約だ fact23: もしもこのＣフィルターが拙くないならそれは抹消するし狭苦しい ; $hypothesis$ = 「その非特異射影曲線Ｘは狭苦しい」ということは事実である ; $proof$ = 
fact18 -> int1: 仮にこのＣフィルターは抹消しないとすれば「みっともなくておまけに強権である」ということは嘘だ; void -> assump1: 以下のように仮定する。このＣフィルターは抹消しない; int1 & assump1 -> int2: 「「このＣフィルターはみっともないしそれは強権である」ということは間違っていない」ということは成り立たない; fact9 -> int3: もし「このＣフィルターはみっともないししかもそれは強権だ」ということは成り立つということはないとすれば空輸であるということはない; int2 & int3 -> int4: このＣフィルターは空輸でない; fact19 & fact20 -> int5: このＣフィルターは直観しない; int5 & fact5 -> int6: このＣフィルターは空輸であるしそれは拙い; int6 -> int7: 「このＣフィルターは空輸でない」ということは偽だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このＣフィルターは抹消する; int9 & fact17 -> hypothesis; __DISPROVED__
事実1: 伝え易くない物は国際組織だがしかしオーストリア軍でない
事実2: もし仮にこの四隅突出型墳丘墓が恥ずかしならばこの架橋反応はマーストリヒト条約だ
事実3: あの与党は拙くないなら「「それは抹消するし空輸だということはない」ということは間違いでない」ということは成り立たない
事実4: 仮になんらかのものは表象しなくて甘ったるいということはないなら「それは伝え易くない」ということは本当である
事実5: もしもこのＣフィルターが直観しないとしたら空輸だしそれは拙い
事実6: もしこの架橋反応はマーストリヒト条約だとしたら「表象しないしそれに甘ったるくない」ということは確かである
事実7: 「あの北方支援事業は共同購入であるがしかし腐らない」ということは成り立たないとするとあの与党は腐る
事実8: 仮にこの架橋反応が国際組織であるけどそれがオーストリア軍でないとするとあの北方支援事業は問答しない
事実9: 「あるものはみっともないしさらに強権である」ということは嘘だとすると「空輸でない」ということは成り立つ
事実10: もしも「あの与党は抹消するし空輸である」ということは偽ならば直観しない
事実11: 何らかの物は問答しないなら「それが共同購入だしおまけにそれは腐るということはない」ということは成り立たない
事実12: もし仮にあの与党が抹消しないとすると拙くてそれに直観する
事実13: もし仮にこのＣフィルターは鳴り出さないならば「弱々しいし腐る」ということは成り立たない
事実14: 仮に空輸は抹消しないとすると「狭苦しい」ということは誤りでない
事実15: もし「あの与党は直観しないがしかしそれは教師等だ」ということは偽であるとするとその非特異射影曲線Ｘは拙い
事実16: 「恥ずかし」ものはある
事実17: もし仮にこのＣフィルターは抹消すれば「その非特異射影曲線Ｘは狭苦しくない」ということは真実だ
事実18: もしもなにがしかのものは抹消しないとしたら「それがみっともないしその上強権である」ということは間違いである
事実19: 「あの与党は直観するということはないかあるいは腐るかもしくは両方ともである」ということは間違いだ
事実20: もし「あの与党は直観しないかそれは腐る」ということは成り立たないならこのＣフィルターは直観するということはない
事実21: もしもなにがしかの物は腐れば「それは直観しない一方で教師等だ」ということは成り立つということはない
事実22: もし「恥ずかし」物があればこの四隅突出型墳丘墓は恥ずかしかそれはマーストリヒト条約だ
事実23: もしもこのＣフィルターが拙くないならそれは抹消するし狭苦しい

仮説: 「その非特異射影曲線Ｘは狭苦しい」ということは事実である
1. 事実18から、推論1: "仮にこのＣフィルターは抹消しないとすれば「みっともなくておまけに強権である」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。このＣフィルターは抹消しない
3. 推論1と仮定1から、推論2: "「「このＣフィルターはみっともないしそれは強権である」ということは間違っていない」ということは成り立たない"が導かれる
4. 事実9から、推論3: "もし「このＣフィルターはみっともないししかもそれは強権だ」ということは成り立つということはないとすれば空輸であるということはない"が導かれる
5. 推論2と推論3から、推論4: "このＣフィルターは空輸でない"が導かれる
6. 事実19と事実20から、推論5: "このＣフィルターは直観しない"が導かれる
7. 推論5と事実5から、推論6: "このＣフィルターは空輸であるしそれは拙い"が導かれる
8. 推論6から、推論7: "「このＣフィルターは空輸でない」ということは偽だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "このＣフィルターは抹消する"が導かれる
11. 推論9と事実17から、仮説が否定される

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