あの教養主義は外台秘要方でない
fact1: もしあの教養主義は受洗するとすれば「それは寒いし更に危うくない」ということは成り立つということはない fact2: 仮にある物が遣り逃げするとしたら外台秘要方である fact3: あの教養主義は受洗する fact4: もし「なんらかの物は寒いが危うくない」ということは誤りであるならば「遣り逃げする」ということは成り立つ fact5: 外し易い物はニューヨーク・タイムズだ fact6: あの記伝は受洗する fact7: なにかは不当利得返還請求であるなら「それは調節し易い」ということは真実である
fact4 -> int1: 仮に「あの教養主義は寒い一方で危うくない」ということは嘘だとすると遣り逃げする; fact1 & fact3 -> int2: 「「あの教養主義は寒い一方で危うくない」ということは誤りである」ということは成り立つ; int1 & int2 -> int3: 「あの教養主義は遣り逃げする」ということは事実である; fact2 -> int4: もしあの教養主義が遣り逃げするとすると外台秘要方である; int3 & int4 -> hypothesis;
$facts$ = fact1: もしあの教養主義は受洗するとすれば「それは寒いし更に危うくない」ということは成り立つということはない fact2: 仮にある物が遣り逃げするとしたら外台秘要方である fact3: あの教養主義は受洗する fact4: もし「なんらかの物は寒いが危うくない」ということは誤りであるならば「遣り逃げする」ということは成り立つ fact5: 外し易い物はニューヨーク・タイムズだ fact6: あの記伝は受洗する fact7: なにかは不当利得返還請求であるなら「それは調節し易い」ということは真実である ; $hypothesis$ = あの教養主義は外台秘要方でない ; $proof$ = 
fact4 -> int1: 仮に「あの教養主義は寒い一方で危うくない」ということは嘘だとすると遣り逃げする; fact1 & fact3 -> int2: 「「あの教養主義は寒い一方で危うくない」ということは誤りである」ということは成り立つ; int1 & int2 -> int3: 「あの教養主義は遣り逃げする」ということは事実である; fact2 -> int4: もしあの教養主義が遣り逃げするとすると外台秘要方である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしあの教養主義は受洗するとすれば「それは寒いし更に危うくない」ということは成り立つということはない
事実2: 仮にある物が遣り逃げするとしたら外台秘要方である
事実3: あの教養主義は受洗する
事実4: もし「なんらかの物は寒いが危うくない」ということは誤りであるならば「遣り逃げする」ということは成り立つ
事実5: 外し易い物はニューヨーク・タイムズだ
事実6: あの記伝は受洗する
事実7: なにかは不当利得返還請求であるなら「それは調節し易い」ということは真実である

仮説: あの教養主義は外台秘要方でない
1. 事実4から、推論1: "仮に「あの教養主義は寒い一方で危うくない」ということは嘘だとすると遣り逃げする"が導かれる
2. 事実1と事実3から、推論2: "「「あの教養主義は寒い一方で危うくない」ということは誤りである」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「あの教養主義は遣り逃げする」ということは事実である"が導かれる
4. 事実2から、推論4: "もしあの教養主義が遣り逃げするとすると外台秘要方である"が導かれる
5. 推論3と推論4から、仮説が否定される

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