あの賃率は見境無くないけれどそれはアジア社会停滞論である
fact1: そのインフレ・ギャップは転ばさない fact2: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るがしかし日中戦争だということはない」ということは嘘だ fact3: その日本人生徒は転ばさない fact4: あのチーム力は昂進しない fact5: 「その日本人生徒は転ばすがしかしアジア社会停滞論でない」ということは偽ならば「見境無い」ということは事実である fact6: もしも「「肉付けであるししかも相当である」ということは成り立たない」ものがあるとするとこのドーピング検査は相当でない fact7: もし「なんらかの物は立て込むがじめじめしない」ということは間違っているとすれば感染し易い fact8: 「日中戦争はアジア社会停滞論だ」ということは確かである fact9: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るし日中戦争だ」ということは間違いだ fact10: もしこのドーピング検査が相当でないならその進士は中央情報部でそれに情けない fact11: あの賃率が情けなくてそれに物凄いならその日本人生徒は合同会議だということはない fact12: もし「あのチーム力は昂進しない」ということは成り立つとしたら「肉付けだしその上相当だ」ということは事実と異なる fact13: あの賃率は見境無くない fact14: 「あの賃率は動員出来るしさらに日中戦争だ」ということは成り立たない fact15: もし仮になにかは物凄いとすれば「転ばさないししかも合同会議だということはない」ということは正しくない fact16: もし仮にその進士が情けないとすればあの日本人生徒は物凄い fact17: もしも「何らかのものは動員出来るが日中戦争でない」ということは成り立つということはないとすると「アジア社会停滞論だ」ということは成り立つ fact18: もし仮に「何かは転ばさないし合同会議でない」ということは成り立たないとするとそれは見境無い fact19: もし仮にあの賃率は日中戦争であるならばアジア社会停滞論である
fact2 & fact3 -> int1: 「あの賃率は動員出来るけど日中戦争でない」ということは成り立たない; fact17 -> int2: 仮に「あの賃率は動員出来るが日中戦争であるということはない」ということは偽だとするとアジア社会停滞論だ; int1 & int2 -> int3: あの賃率はアジア社会停滞論だ; int3 & fact13 -> hypothesis;
fact2 & fact3 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact17 -> int2: ¬({AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact13 -> hypothesis;
この夏椿は転ばさない
$facts$ = fact1: そのインフレ・ギャップは転ばさない fact2: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るがしかし日中戦争だということはない」ということは嘘だ fact3: その日本人生徒は転ばさない fact4: あのチーム力は昂進しない fact5: 「その日本人生徒は転ばすがしかしアジア社会停滞論でない」ということは偽ならば「見境無い」ということは事実である fact6: もしも「「肉付けであるししかも相当である」ということは成り立たない」ものがあるとするとこのドーピング検査は相当でない fact7: もし「なんらかの物は立て込むがじめじめしない」ということは間違っているとすれば感染し易い fact8: 「日中戦争はアジア社会停滞論だ」ということは確かである fact9: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るし日中戦争だ」ということは間違いだ fact10: もしこのドーピング検査が相当でないならその進士は中央情報部でそれに情けない fact11: あの賃率が情けなくてそれに物凄いならその日本人生徒は合同会議だということはない fact12: もし「あのチーム力は昂進しない」ということは成り立つとしたら「肉付けだしその上相当だ」ということは事実と異なる fact13: あの賃率は見境無くない fact14: 「あの賃率は動員出来るしさらに日中戦争だ」ということは成り立たない fact15: もし仮になにかは物凄いとすれば「転ばさないししかも合同会議だということはない」ということは正しくない fact16: もし仮にその進士が情けないとすればあの日本人生徒は物凄い fact17: もしも「何らかのものは動員出来るが日中戦争でない」ということは成り立つということはないとすると「アジア社会停滞論だ」ということは成り立つ fact18: もし仮に「何かは転ばさないし合同会議でない」ということは成り立たないとするとそれは見境無い fact19: もし仮にあの賃率は日中戦争であるならばアジア社会停滞論である ; $hypothesis$ = あの賃率は見境無くないけれどそれはアジア社会停滞論である ; $proof$ = 
fact2 & fact3 -> int1: 「あの賃率は動員出来るけど日中戦争でない」ということは成り立たない; fact17 -> int2: 仮に「あの賃率は動員出来るが日中戦争であるということはない」ということは偽だとするとアジア社会停滞論だ; int1 & int2 -> int3: あの賃率はアジア社会停滞論だ; int3 & fact13 -> hypothesis; __PROVED__
事実1: そのインフレ・ギャップは転ばさない
事実2: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るがしかし日中戦争だということはない」ということは嘘だ
事実3: その日本人生徒は転ばさない
事実4: あのチーム力は昂進しない
事実5: 「その日本人生徒は転ばすがしかしアジア社会停滞論でない」ということは偽ならば「見境無い」ということは事実である
事実6: もしも「「肉付けであるししかも相当である」ということは成り立たない」ものがあるとするとこのドーピング検査は相当でない
事実7: もし「なんらかの物は立て込むがじめじめしない」ということは間違っているとすれば感染し易い
事実8: 「日中戦争はアジア社会停滞論だ」ということは確かである
事実9: もしもその日本人生徒は転ばさないならば「あの賃率は動員出来るし日中戦争だ」ということは間違いだ
事実10: もしこのドーピング検査が相当でないならその進士は中央情報部でそれに情けない
事実11: あの賃率が情けなくてそれに物凄いならその日本人生徒は合同会議だということはない
事実12: もし「あのチーム力は昂進しない」ということは成り立つとしたら「肉付けだしその上相当だ」ということは事実と異なる
事実13: あの賃率は見境無くない
事実14: 「あの賃率は動員出来るしさらに日中戦争だ」ということは成り立たない
事実15: もし仮になにかは物凄いとすれば「転ばさないししかも合同会議だということはない」ということは正しくない
事実16: もし仮にその進士が情けないとすればあの日本人生徒は物凄い
事実17: もしも「何らかのものは動員出来るが日中戦争でない」ということは成り立つということはないとすると「アジア社会停滞論だ」ということは成り立つ
事実18: もし仮に「何かは転ばさないし合同会議でない」ということは成り立たないとするとそれは見境無い
事実19: もし仮にあの賃率は日中戦争であるならばアジア社会停滞論である

仮説: あの賃率は見境無くないけれどそれはアジア社会停滞論である
1. 事実2と事実3から、推論1: "「あの賃率は動員出来るけど日中戦争でない」ということは成り立たない"が導かれる
2. 事実17から、推論2: "仮に「あの賃率は動員出来るが日中戦争であるということはない」ということは偽だとするとアジア社会停滞論だ"が導かれる
3. 推論1と推論2から、推論3: "あの賃率はアジア社会停滞論だ"が導かれる
4. 推論3と事実13から、仮説が導かれる

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