この音声学は酷い
fact1: 仮にあの有効茎歩合が奥床しい一方でテリーヌ型でないとすればこの動脈撮影はテリーヌ型でない fact2: もしもその以下省略が口煩いならばこの音声学は酷い fact3: もしもこの音声学が素人っぽくないならそれは千差万別でしかも口煩い fact4: もし仮にあの有効茎歩合は思わしくないならば「連結ベースでなくて更に市史である」ということは偽だ fact5: もし仮にとあるものは酷くないとすると「長円形であるが口煩くない」ということは誤っている fact6: もしも「「この音声学は素人っぽいしまた市史だ」ということは本当でない」ということは正しいとしたらその以下省略は酷くない fact7: もしも「奥床しくないかもしくは長円形であるかもしくはどちらもな」物があるとすればあの以下省略は口煩い fact8: 仮になんらかの物が長円形だとしたらそれは奥床しい fact9: もし「その以下省略は思わしいけど責めるということはない」ということは成り立たないならばそれは思わしくない fact10: 「この音声学は素人っぽくない」ということは正しい fact11: もし仮にその以下省略が千差万別でないならあの有効茎歩合は奥床しいがテリーヌ型であるということはない fact12: なにかは連結ベースだ fact13: 奥床しい千差万別は酷くない fact14: なんらかの物が長円形であるとするとその以下省略は口煩い fact15: 「奥床しいか長円形であるかもしくは両方ともである」物はある fact16: あの有効茎歩合は酷くないかあるいは奥床しい fact17: あの有効茎歩合が奥床しいとすれば千差万別だ fact18: もし「あの有効茎歩合は連結ベースでないけどそれは市史である」ということは誤りであるとすれば市史でない fact19: あの有効茎歩合は千差万別でない fact20: もしその以下省略が思わしくないならばあの有効茎歩合は思わしいということはない fact21: この音楽ファンは口煩い
void -> assump1: 以下のように仮定する。あの有効茎歩合は奥床しい; fact17 & assump1 -> int1: あの有効茎歩合は千差万別だ; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの有効茎歩合は奥床しくない; int3 -> int4: あの有効茎歩合は奥床しくないかあるいはそれは長円形である; int4 -> int5: 「奥床しくないかもしくは長円形であるかまたは両方ともな」物はある; int5 & fact7 -> int6: その以下省略は口煩い; int6 & fact2 -> hypothesis;
この動脈撮影はテリーヌ型でない
fact22 -> int7: その以下省略は酷くないなら「それは長円形であるけれど口煩くない」ということは成り立たない;
$facts$ = fact1: 仮にあの有効茎歩合が奥床しい一方でテリーヌ型でないとすればこの動脈撮影はテリーヌ型でない fact2: もしもその以下省略が口煩いならばこの音声学は酷い fact3: もしもこの音声学が素人っぽくないならそれは千差万別でしかも口煩い fact4: もし仮にあの有効茎歩合は思わしくないならば「連結ベースでなくて更に市史である」ということは偽だ fact5: もし仮にとあるものは酷くないとすると「長円形であるが口煩くない」ということは誤っている fact6: もしも「「この音声学は素人っぽいしまた市史だ」ということは本当でない」ということは正しいとしたらその以下省略は酷くない fact7: もしも「奥床しくないかもしくは長円形であるかもしくはどちらもな」物があるとすればあの以下省略は口煩い fact8: 仮になんらかの物が長円形だとしたらそれは奥床しい fact9: もし「その以下省略は思わしいけど責めるということはない」ということは成り立たないならばそれは思わしくない fact10: 「この音声学は素人っぽくない」ということは正しい fact11: もし仮にその以下省略が千差万別でないならあの有効茎歩合は奥床しいがテリーヌ型であるということはない fact12: なにかは連結ベースだ fact13: 奥床しい千差万別は酷くない fact14: なんらかの物が長円形であるとするとその以下省略は口煩い fact15: 「奥床しいか長円形であるかもしくは両方ともである」物はある fact16: あの有効茎歩合は酷くないかあるいは奥床しい fact17: あの有効茎歩合が奥床しいとすれば千差万別だ fact18: もし「あの有効茎歩合は連結ベースでないけどそれは市史である」ということは誤りであるとすれば市史でない fact19: あの有効茎歩合は千差万別でない fact20: もしその以下省略が思わしくないならばあの有効茎歩合は思わしいということはない fact21: この音楽ファンは口煩い ; $hypothesis$ = この音声学は酷い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの有効茎歩合は奥床しい; fact17 & assump1 -> int1: あの有効茎歩合は千差万別だ; int1 & fact19 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの有効茎歩合は奥床しくない; int3 -> int4: あの有効茎歩合は奥床しくないかあるいはそれは長円形である; int4 -> int5: 「奥床しくないかもしくは長円形であるかまたは両方ともな」物はある; int5 & fact7 -> int6: その以下省略は口煩い; int6 & fact2 -> hypothesis; __PROVED__
事実1: 仮にあの有効茎歩合が奥床しい一方でテリーヌ型でないとすればこの動脈撮影はテリーヌ型でない
事実2: もしもその以下省略が口煩いならばこの音声学は酷い
事実3: もしもこの音声学が素人っぽくないならそれは千差万別でしかも口煩い
事実4: もし仮にあの有効茎歩合は思わしくないならば「連結ベースでなくて更に市史である」ということは偽だ
事実5: もし仮にとあるものは酷くないとすると「長円形であるが口煩くない」ということは誤っている
事実6: もしも「「この音声学は素人っぽいしまた市史だ」ということは本当でない」ということは正しいとしたらその以下省略は酷くない
事実7: もしも「奥床しくないかもしくは長円形であるかもしくはどちらもな」物があるとすればあの以下省略は口煩い
事実8: 仮になんらかの物が長円形だとしたらそれは奥床しい
事実9: もし「その以下省略は思わしいけど責めるということはない」ということは成り立たないならばそれは思わしくない
事実10: 「この音声学は素人っぽくない」ということは正しい
事実11: もし仮にその以下省略が千差万別でないならあの有効茎歩合は奥床しいがテリーヌ型であるということはない
事実12: なにかは連結ベースだ
事実13: 奥床しい千差万別は酷くない
事実14: なんらかの物が長円形であるとするとその以下省略は口煩い
事実15: 「奥床しいか長円形であるかもしくは両方ともである」物はある
事実16: あの有効茎歩合は酷くないかあるいは奥床しい
事実17: あの有効茎歩合が奥床しいとすれば千差万別だ
事実18: もし「あの有効茎歩合は連結ベースでないけどそれは市史である」ということは誤りであるとすれば市史でない
事実19: あの有効茎歩合は千差万別でない
事実20: もしその以下省略が思わしくないならばあの有効茎歩合は思わしいということはない
事実21: この音楽ファンは口煩い

仮説: この音声学は酷い
1. 仮定1: 以下のように仮定する。あの有効茎歩合は奥床しい
2. 事実17と仮定1から、推論1: "あの有効茎歩合は千差万別だ"が導かれる
3. 推論1と事実19から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの有効茎歩合は奥床しくない"が導かれる
5. 推論3から、推論4: "あの有効茎歩合は奥床しくないかあるいはそれは長円形である"が導かれる
6. 推論4から、推論5: "「奥床しくないかもしくは長円形であるかまたは両方ともな」物はある"が導かれる
7. 推論5と事実7から、推論6: "その以下省略は口煩い"が導かれる
8. 推論6と事実2から、仮説が導かれる

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