あの検索は胸苦しくない
fact1: その発電機室は胸苦しい fact2: もしもなんらかの物がシェアーするならそれは胸苦しい fact3: なんらかの物は生命科学であるということはない fact4: もしもなにがしかのものがシェアーすればこの人工弁は鳥取りでなくておまけに軽んぜない fact5: その年改正は胸苦しい fact6: もしも歯科技工士が鳥取りでないならばその年改正は戦わない fact7: もし仮に「その年改正は戦わない」ということは成り立つとしたらあの検索は軽んずるしかつシェアーする fact8: 仮に「歯科技工士でなくておまけに鳥取りだということはない」ものがあるとしたらその年改正は戦わない fact9: あの検索が戦わないとするとその年改正は軽んずる fact10: この終身書記は繰り返すしおまけに首尾良い fact11: この終身書記は戦う fact12: 何らかのものは繰り返さないがそれは戦う fact13: 「騒がしくなくてかつ責任回避であるということはない」ものはある fact14: 「もし仮に「首尾良い」物があればこの人工弁は歯科技工士でないしおまけに鳥取りでない」ということは成り立つ fact15: もし「軽んぜないし更に首尾良くない」ものがあるならこの人工弁は鳥取りであるということはない fact16: その年改正は期待するしそれに信じ難い
fact10 -> int1: この終身書記は首尾良い; int1 -> int2: 何かは首尾良い; int2 & fact14 -> int3: この人工弁は歯科技工士だということはなくてかつ鳥取りでない; int3 -> int4: とある物は歯科技工士でなくてかつそれは鳥取りでない; int4 & fact8 -> int5: その年改正は戦わない; int5 & fact7 -> int6: あの検索は軽んずるしシェアーする; int6 -> int7: あの検索はシェアーする; fact2 -> int8: もしあの検索がシェアーすればそれは胸苦しい; int7 & int8 -> hypothesis;
$facts$ = fact1: その発電機室は胸苦しい fact2: もしもなんらかの物がシェアーするならそれは胸苦しい fact3: なんらかの物は生命科学であるということはない fact4: もしもなにがしかのものがシェアーすればこの人工弁は鳥取りでなくておまけに軽んぜない fact5: その年改正は胸苦しい fact6: もしも歯科技工士が鳥取りでないならばその年改正は戦わない fact7: もし仮に「その年改正は戦わない」ということは成り立つとしたらあの検索は軽んずるしかつシェアーする fact8: 仮に「歯科技工士でなくておまけに鳥取りだということはない」ものがあるとしたらその年改正は戦わない fact9: あの検索が戦わないとするとその年改正は軽んずる fact10: この終身書記は繰り返すしおまけに首尾良い fact11: この終身書記は戦う fact12: 何らかのものは繰り返さないがそれは戦う fact13: 「騒がしくなくてかつ責任回避であるということはない」ものはある fact14: 「もし仮に「首尾良い」物があればこの人工弁は歯科技工士でないしおまけに鳥取りでない」ということは成り立つ fact15: もし「軽んぜないし更に首尾良くない」ものがあるならこの人工弁は鳥取りであるということはない fact16: その年改正は期待するしそれに信じ難い ; $hypothesis$ = あの検索は胸苦しくない ; $proof$ = 
fact10 -> int1: この終身書記は首尾良い; int1 -> int2: 何かは首尾良い; int2 & fact14 -> int3: この人工弁は歯科技工士だということはなくてかつ鳥取りでない; int3 -> int4: とある物は歯科技工士でなくてかつそれは鳥取りでない; int4 & fact8 -> int5: その年改正は戦わない; int5 & fact7 -> int6: あの検索は軽んずるしシェアーする; int6 -> int7: あの検索はシェアーする; fact2 -> int8: もしあの検索がシェアーすればそれは胸苦しい; int7 & int8 -> hypothesis; __DISPROVED__
事実1: その発電機室は胸苦しい
事実2: もしもなんらかの物がシェアーするならそれは胸苦しい
事実3: なんらかの物は生命科学であるということはない
事実4: もしもなにがしかのものがシェアーすればこの人工弁は鳥取りでなくておまけに軽んぜない
事実5: その年改正は胸苦しい
事実6: もしも歯科技工士が鳥取りでないならばその年改正は戦わない
事実7: もし仮に「その年改正は戦わない」ということは成り立つとしたらあの検索は軽んずるしかつシェアーする
事実8: 仮に「歯科技工士でなくておまけに鳥取りだということはない」ものがあるとしたらその年改正は戦わない
事実9: あの検索が戦わないとするとその年改正は軽んずる
事実10: この終身書記は繰り返すしおまけに首尾良い
事実11: この終身書記は戦う
事実12: 何らかのものは繰り返さないがそれは戦う
事実13: 「騒がしくなくてかつ責任回避であるということはない」ものはある
事実14: 「もし仮に「首尾良い」物があればこの人工弁は歯科技工士でないしおまけに鳥取りでない」ということは成り立つ
事実15: もし「軽んぜないし更に首尾良くない」ものがあるならこの人工弁は鳥取りであるということはない
事実16: その年改正は期待するしそれに信じ難い

仮説: あの検索は胸苦しくない
1. 事実10から、推論1: "この終身書記は首尾良い"が導かれる
2. 推論1から、推論2: "何かは首尾良い"が導かれる
3. 推論2と事実14から、推論3: "この人工弁は歯科技工士だということはなくてかつ鳥取りでない"が導かれる
4. 推論3から、推論4: "とある物は歯科技工士でなくてかつそれは鳥取りでない"が導かれる
5. 推論4と事実8から、推論5: "その年改正は戦わない"が導かれる
6. 推論5と事実7から、推論6: "あの検索は軽んずるしシェアーする"が導かれる
7. 推論6から、推論7: "あの検索はシェアーする"が導かれる
8. 事実2から、推論8: "もしあの検索がシェアーすればそれは胸苦しい"が導かれる
9. 推論7と推論8から、仮説が否定される

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