あの分配原理は散らかさない
fact1: もしもその部長さんが申し込まないとすればあのクレッシェンドは話し難い fact2: 「永代橋は悪い」ということは真実だ fact3: 悪いものはまあるい fact4: もしその第二ピリオドは永代橋であるなら「申し込む」ということは真実だ fact5: その第二ピリオドは女々しい fact6: 「もしも「なんらかのものは粗い」ということは成り立つとすれば散らかす」ということは正しい fact7: その部長さんは悪い fact8: もし仮に何かは悪いならば粗い fact9: もしその弾性率は粗いとすれば「あの分配原理は散らかす」ということは間違いでない fact10: もし仮にあの分配原理がまあるいとすればその第二ピリオドは散らかす fact11: もし仮にその弾性率は粗いとしたら「悪い」ということは確かである fact12: その部長さんは申し込まない fact13: あのクレッシェンドが悪いとしたらその第二ピリオドは話し難い fact14: もし仮にその第二ピリオドが散らかさないならあの分配原理は悪い fact15: 仮にその第二ピリオドがまあるいならその弾性率は粗い fact16: もしもその弾性率がまあるいならばその第二ピリオドは粗い fact17: 仮にあのクレッシェンドが話し難いならばあの第二ピリオドは永代橋である fact18: 話し難い物は散らかす fact19: この命日は粗くない fact20: 「その第二ピリオドは瑞々しい」ということは真実だ fact21: その前項は悪い fact22: その部長さんはまあるい fact23: その部長さんは散らかす fact24: その第二ピリオドが申し込むとしたらその部長さんは悪い fact25: もしなんらかの物が粗いとすればそれは永代橋だ
fact1 & fact12 -> int1: あのクレッシェンドは話し難い; int1 & fact17 -> int2: その第二ピリオドは永代橋だ; fact2 -> int3: もしもその第二ピリオドが永代橋だとしたらそれは悪い; int2 & int3 -> int4: その第二ピリオドは悪い; fact3 -> int5: もしもその第二ピリオドが悪いとすればまあるい; int4 & int5 -> int6: その第二ピリオドはまあるい; int6 & fact15 -> int7: その弾性率は粗い; int7 & fact9 -> hypothesis;
$facts$ = fact1: もしもその部長さんが申し込まないとすればあのクレッシェンドは話し難い fact2: 「永代橋は悪い」ということは真実だ fact3: 悪いものはまあるい fact4: もしその第二ピリオドは永代橋であるなら「申し込む」ということは真実だ fact5: その第二ピリオドは女々しい fact6: 「もしも「なんらかのものは粗い」ということは成り立つとすれば散らかす」ということは正しい fact7: その部長さんは悪い fact8: もし仮に何かは悪いならば粗い fact9: もしその弾性率は粗いとすれば「あの分配原理は散らかす」ということは間違いでない fact10: もし仮にあの分配原理がまあるいとすればその第二ピリオドは散らかす fact11: もし仮にその弾性率は粗いとしたら「悪い」ということは確かである fact12: その部長さんは申し込まない fact13: あのクレッシェンドが悪いとしたらその第二ピリオドは話し難い fact14: もし仮にその第二ピリオドが散らかさないならあの分配原理は悪い fact15: 仮にその第二ピリオドがまあるいならその弾性率は粗い fact16: もしもその弾性率がまあるいならばその第二ピリオドは粗い fact17: 仮にあのクレッシェンドが話し難いならばあの第二ピリオドは永代橋である fact18: 話し難い物は散らかす fact19: この命日は粗くない fact20: 「その第二ピリオドは瑞々しい」ということは真実だ fact21: その前項は悪い fact22: その部長さんはまあるい fact23: その部長さんは散らかす fact24: その第二ピリオドが申し込むとしたらその部長さんは悪い fact25: もしなんらかの物が粗いとすればそれは永代橋だ ; $hypothesis$ = あの分配原理は散らかさない ; $proof$ = 
fact1 & fact12 -> int1: あのクレッシェンドは話し難い; int1 & fact17 -> int2: その第二ピリオドは永代橋だ; fact2 -> int3: もしもその第二ピリオドが永代橋だとしたらそれは悪い; int2 & int3 -> int4: その第二ピリオドは悪い; fact3 -> int5: もしもその第二ピリオドが悪いとすればまあるい; int4 & int5 -> int6: その第二ピリオドはまあるい; int6 & fact15 -> int7: その弾性率は粗い; int7 & fact9 -> 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: その部長さんは散らかす
事実24: その第二ピリオドが申し込むとしたらその部長さんは悪い
事実25: もしなんらかの物が粗いとすればそれは永代橋だ

仮説: あの分配原理は散らかさない
1. 事実1と事実12から、推論1: "あのクレッシェンドは話し難い"が導かれる
2. 推論1と事実17から、推論2: "その第二ピリオドは永代橋だ"が導かれる
3. 事実2から、推論3: "もしもその第二ピリオドが永代橋だとしたらそれは悪い"が導かれる
4. 推論2と推論3から、推論4: "その第二ピリオドは悪い"が導かれる
5. 事実3から、推論5: "もしもその第二ピリオドが悪いとすればまあるい"が導かれる
6. 推論4と推論5から、推論6: "その第二ピリオドはまあるい"が導かれる
7. 推論6と事実15から、推論7: "その弾性率は粗い"が導かれる
8. 推論7と事実9から、仮説が否定される

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