そのレジーム論は拝受しないがしかし全面協力する
fact1: もしも何らかの物は青臭いということはないとすれば「拝受しないけれど全面協力する」ということは嘘だ fact2: そのレジーム論がやくざっぽくないなら全面協力する fact3: やくざっぽくないか最もらしいかもしくは両方な物は切れ易い fact4: そのレジーム論は青臭い fact5: そのレジーム論は最もらしい fact6: あの真反対は全面協力しないとすると「そのレジーム論は拝受するしまたそれは青臭い」ということは偽である fact7: やくざっぽくない物は拝受しないけれど全面協力する fact8: 青臭いし最もらしい物はやくざっぽくない fact9: もしも「青臭くない」物はあるなら「その第二稿は商人らしい」ということは成り立つ fact10: やくざっぽくない物は全面協力する
fact4 & fact5 -> int1: そのレジーム論は青臭くて最もらしい; fact8 -> int2: もしそのレジーム論は青臭くて最もらしいとするとそれはやくざっぽくない; int1 & int2 -> int3: そのレジーム論はやくざっぽくない; fact7 -> int4: もしそのレジーム論がやくざっぽくないとしたら拝受しなくてそれに全面協力する; int3 & int4 -> hypothesis;
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); fact8 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact7 -> int4: ¬{C}{a} -> (¬{D}{a} & {E}{a}); int3 & int4 -> hypothesis;
その第二稿は商人らしいし更にそれは切れ易い
fact11 -> int5: もし仮にその第二稿はやくざっぽくないかあるいは最もらしいかもしくは両方ともであるとすれば切れ易い;
$facts$ = fact1: もしも何らかの物は青臭いということはないとすれば「拝受しないけれど全面協力する」ということは嘘だ fact2: そのレジーム論がやくざっぽくないなら全面協力する fact3: やくざっぽくないか最もらしいかもしくは両方な物は切れ易い fact4: そのレジーム論は青臭い fact5: そのレジーム論は最もらしい fact6: あの真反対は全面協力しないとすると「そのレジーム論は拝受するしまたそれは青臭い」ということは偽である fact7: やくざっぽくない物は拝受しないけれど全面協力する fact8: 青臭いし最もらしい物はやくざっぽくない fact9: もしも「青臭くない」物はあるなら「その第二稿は商人らしい」ということは成り立つ fact10: やくざっぽくない物は全面協力する ; $hypothesis$ = そのレジーム論は拝受しないがしかし全面協力する ; $proof$ = 
fact4 & fact5 -> int1: そのレジーム論は青臭くて最もらしい; fact8 -> int2: もしそのレジーム論は青臭くて最もらしいとするとそれはやくざっぽくない; int1 & int2 -> int3: そのレジーム論はやくざっぽくない; fact7 -> int4: もしそのレジーム論がやくざっぽくないとしたら拝受しなくてそれに全面協力する; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも何らかの物は青臭いということはないとすれば「拝受しないけれど全面協力する」ということは嘘だ
事実2: そのレジーム論がやくざっぽくないなら全面協力する
事実3: やくざっぽくないか最もらしいかもしくは両方な物は切れ易い
事実4: そのレジーム論は青臭い
事実5: そのレジーム論は最もらしい
事実6: あの真反対は全面協力しないとすると「そのレジーム論は拝受するしまたそれは青臭い」ということは偽である
事実7: やくざっぽくない物は拝受しないけれど全面協力する
事実8: 青臭いし最もらしい物はやくざっぽくない
事実9: もしも「青臭くない」物はあるなら「その第二稿は商人らしい」ということは成り立つ
事実10: やくざっぽくない物は全面協力する

仮説: そのレジーム論は拝受しないがしかし全面協力する
1. 事実4と事実5から、推論1: "そのレジーム論は青臭くて最もらしい"が導かれる
2. 事実8から、推論2: "もしそのレジーム論は青臭くて最もらしいとするとそれはやくざっぽくない"が導かれる
3. 推論1と推論2から、推論3: "そのレジーム論はやくざっぽくない"が導かれる
4. 事実7から、推論4: "もしそのレジーム論がやくざっぽくないとしたら拝受しなくてそれに全面協力する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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