このブレティンは気付き難くないけれど右列である
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: とあるものが締め出さないし騒がしいということはないとしたらあのカレー風味は合宿しない fact26: もし「このブレティンは良くないけどそれは合宿する」ということは成り立つなら右列だ fact27: もし仮にとあるものが合宿しないとしたら右列であるししかも良い
void -> assump1: 以下のように仮定する。このメインタンクは死傷するということはないけどインプットする; assump1 -> int1: このメインタンクはインプットする; int1 & fact21 -> int2: このメインタンクは出し過ぎる; fact15 & fact12 -> int3: このメインタンクは出し過ぎない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このメインタンクは死傷しないけれどインプットする」ということは成り立たない; int5 & fact5 -> int6: このブレティンは気付き難くない; fact24 -> int7: このブレティンは誤り無い; int7 & fact22 -> int8: このブレティンは良くないが合宿する; int8 & fact26 -> int9: このブレティンは右列だ; int6 & int9 -> hypothesis;
「その適格退職年金制度等は誤り無い」ということは真実である
fact28 -> int10: もし仮にあのカレー風味は右列だとすると「気付き難いけれど迷わすということはない」ということは間違いだ; fact37 -> int11: あのカレー風味が合宿しないとすれば右列であるし良い; fact36 -> int12: あのコミュニケーション・ネットワークは心深し; int12 -> int13: とある物は心深し; int13 & fact29 -> int14: 「「その三頭筋は詮無くないし更に心深くない」ということは正しい」ということは間違いだ; fact31 & int14 -> int15: その高等文官は寝ない; fact34 & int15 -> int16: その峻厳は締め出さなくてしかも騒がしくない; int16 -> int17: 「締め出すということはないしその上騒がしいない」物はある; int17 & fact35 -> int18: あのカレー風味は合宿しない; int11 & int18 -> int19: あのカレー風味は右列であるし良い; int19 -> int20: あのカレー風味は右列だ; int10 & int20 -> int21: 「あのカレー風味は気付き難いが迷わさない」ということは間違いである; int21 -> int22: 「「気付き難いしその上迷わさない」ということは成り立たない」ものはある; int22 & fact33 -> int23: その中小法人は気付き難くない; int23 -> int24: 「気付き難いということはない」ものはある; int24 & fact32 -> int25: 「このブレティンは出し過ぎるしおまけにインプットする」ということは成り立たない; fact38 & int25 -> int26: このメインタンクは死傷しない; int26 -> int27: 「「死傷しない」ということは確かな」物はある; int27 & fact30 -> 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: とあるものが締め出さないし騒がしいということはないとしたらあのカレー風味は合宿しない fact26: もし「このブレティンは良くないけどそれは合宿する」ということは成り立つなら右列だ fact27: もし仮にとあるものが合宿しないとしたら右列であるししかも良い ; $hypothesis$ = このブレティンは気付き難くないけれど右列である ; $proof$ = 
void -> assump1: 以下のように仮定する。このメインタンクは死傷するということはないけどインプットする; assump1 -> int1: このメインタンクはインプットする; int1 & fact21 -> int2: このメインタンクは出し過ぎる; fact15 & fact12 -> int3: このメインタンクは出し過ぎない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このメインタンクは死傷しないけれどインプットする」ということは成り立たない; int5 & fact5 -> int6: このブレティンは気付き難くない; fact24 -> int7: このブレティンは誤り無い; int7 & fact22 -> int8: このブレティンは良くないが合宿する; int8 & fact26 -> int9: このブレティンは右列だ; int6 & int9 -> hypothesis; __PROVED__
事実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: とあるものが締め出さないし騒がしいということはないとしたらあのカレー風味は合宿しない
事実26: もし「このブレティンは良くないけどそれは合宿する」ということは成り立つなら右列だ
事実27: もし仮にとあるものが合宿しないとしたら右列であるししかも良い

仮説: このブレティンは気付き難くないけれど右列である
1. 仮定1: 以下のように仮定する。このメインタンクは死傷するということはないけどインプットする
2. 仮定1から、推論1: "このメインタンクはインプットする"が導かれる
3. 推論1と事実21から、推論2: "このメインタンクは出し過ぎる"が導かれる
4. 事実15と事実12から、推論3: "このメインタンクは出し過ぎない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このメインタンクは死傷しないけれどインプットする」ということは成り立たない"が導かれる
7. 推論5と事実5から、推論6: "このブレティンは気付き難くない"が導かれる
8. 事実24から、推論7: "このブレティンは誤り無い"が導かれる
9. 推論7と事実22から、推論8: "このブレティンは良くないが合宿する"が導かれる
10. 推論8と事実26から、推論9: "このブレティンは右列だ"が導かれる
11. 推論6と推論9から、仮説が導かれる

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