その冷夏は入場出来ない
fact1: 「あの出典は通し始めるということはないが躍り上がる」ということは偽である fact2: もしも「その冷夏は躍り上がらないけれど入場出来る」ということは成り立たないならばそれは仕入れ値でない fact3: 仮に「「その冷夏は入場出来ない一方で通し始める」ということは成り立つということはない」ということは間違いであるということはないとしたら仕入れ値でない fact4: もしあの出典が仕入れ値でないとすればその冷夏は入場出来る fact5: 「あの出典は通し始めるし加えて躍り上がる」ということは誤っている fact6: 「そのコンクールは通し始める」ということは真実である fact7: あの出典は息切れするしそれは過ごし易い fact8: あの出典は入場出来る fact9: もしも「その冷夏は入場出来ないがしかしそれは躍り上がる」ということは嘘であるなら「仕入れ値でない」ということは真実だ fact10: 仮に「なにがしかのものは色好くない」ということは確かであるとすればそれは間断無くて更に運悪い fact11: もし仮に何らかの物は間断無いとすれば「それは仕入れ値だということはなくてそれはＩＣＩ社だ」ということは間違っている fact12: もしも運悪くないものが色好いならばそれは間断無くない fact13: もしもあの出典が通し始めるとすればそれは仕入れ値でない fact14: その冷夏は通し始めない fact15: もしあるものは息切れするしおまけに過ごし易いとしたら運悪くない fact16: 仮にあの出典は間断無くないとしたら「あのアルキルは入場出来るがしかしＩＣＩ社だということはない」ということは間違っている fact17: もしも「あの出典は通し始めるということはない一方で躍り上がる」ということは誤っているとすれば「それは仕入れ値でない」ということは確かである fact18: もしも「なにかは入場出来る一方でそれはＩＣＩ社でない」ということは偽であるとすれば仕入れ値でない
fact17 & fact1 -> int1: あの出典は仕入れ値でない; int1 & fact4 -> hypothesis;
fact17 & fact1 -> int1: ¬{B}{a}; int1 & fact4 -> hypothesis;
「その冷夏は入場出来ない」ということは成り立つ
fact19 -> int2: もし仮にあの出典が色好くないならそれは間断無いししかもそれは運悪い; fact20 -> int3: もし「その冷夏は間断無い」ということは正しいなら「仕入れ値だということはないがしかしＩＣＩ社だ」ということは間違いである;
$facts$ = fact1: 「あの出典は通し始めるということはないが躍り上がる」ということは偽である fact2: もしも「その冷夏は躍り上がらないけれど入場出来る」ということは成り立たないならばそれは仕入れ値でない fact3: 仮に「「その冷夏は入場出来ない一方で通し始める」ということは成り立つということはない」ということは間違いであるということはないとしたら仕入れ値でない fact4: もしあの出典が仕入れ値でないとすればその冷夏は入場出来る fact5: 「あの出典は通し始めるし加えて躍り上がる」ということは誤っている fact6: 「そのコンクールは通し始める」ということは真実である fact7: あの出典は息切れするしそれは過ごし易い fact8: あの出典は入場出来る fact9: もしも「その冷夏は入場出来ないがしかしそれは躍り上がる」ということは嘘であるなら「仕入れ値でない」ということは真実だ fact10: 仮に「なにがしかのものは色好くない」ということは確かであるとすればそれは間断無くて更に運悪い fact11: もし仮に何らかの物は間断無いとすれば「それは仕入れ値だということはなくてそれはＩＣＩ社だ」ということは間違っている fact12: もしも運悪くないものが色好いならばそれは間断無くない fact13: もしもあの出典が通し始めるとすればそれは仕入れ値でない fact14: その冷夏は通し始めない fact15: もしあるものは息切れするしおまけに過ごし易いとしたら運悪くない fact16: 仮にあの出典は間断無くないとしたら「あのアルキルは入場出来るがしかしＩＣＩ社だということはない」ということは間違っている fact17: もしも「あの出典は通し始めるということはない一方で躍り上がる」ということは誤っているとすれば「それは仕入れ値でない」ということは確かである fact18: もしも「なにかは入場出来る一方でそれはＩＣＩ社でない」ということは偽であるとすれば仕入れ値でない ; $hypothesis$ = その冷夏は入場出来ない ; $proof$ = 
fact17 & fact1 -> int1: あの出典は仕入れ値でない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「あの出典は通し始めるということはないが躍り上がる」ということは偽である
事実2: もしも「その冷夏は躍り上がらないけれど入場出来る」ということは成り立たないならばそれは仕入れ値でない
事実3: 仮に「「その冷夏は入場出来ない一方で通し始める」ということは成り立つということはない」ということは間違いであるということはないとしたら仕入れ値でない
事実4: もしあの出典が仕入れ値でないとすればその冷夏は入場出来る
事実5: 「あの出典は通し始めるし加えて躍り上がる」ということは誤っている
事実6: 「そのコンクールは通し始める」ということは真実である
事実7: あの出典は息切れするしそれは過ごし易い
事実8: あの出典は入場出来る
事実9: もしも「その冷夏は入場出来ないがしかしそれは躍り上がる」ということは嘘であるなら「仕入れ値でない」ということは真実だ
事実10: 仮に「なにがしかのものは色好くない」ということは確かであるとすればそれは間断無くて更に運悪い
事実11: もし仮に何らかの物は間断無いとすれば「それは仕入れ値だということはなくてそれはＩＣＩ社だ」ということは間違っている
事実12: もしも運悪くないものが色好いならばそれは間断無くない
事実13: もしもあの出典が通し始めるとすればそれは仕入れ値でない
事実14: その冷夏は通し始めない
事実15: もしあるものは息切れするしおまけに過ごし易いとしたら運悪くない
事実16: 仮にあの出典は間断無くないとしたら「あのアルキルは入場出来るがしかしＩＣＩ社だということはない」ということは間違っている
事実17: もしも「あの出典は通し始めるということはない一方で躍り上がる」ということは誤っているとすれば「それは仕入れ値でない」ということは確かである
事実18: もしも「なにかは入場出来る一方でそれはＩＣＩ社でない」ということは偽であるとすれば仕入れ値でない

仮説: その冷夏は入場出来ない
1. 事実17と事実1から、推論1: "あの出典は仕入れ値でない"が導かれる
2. 推論1と事実4から、仮説が否定される

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