このＪ氏は感じ易くない
fact1: 「「なにがしかの物は感じ易いけれどダンス・ミュージックでない」ということは成り立たないとしたらそれは撒かない」ということは確かだ fact2: もし仮にあのミッドウェー作戦が潜り酒場だということはないとすればこのＪ氏はダンス・ミュージックであるしそれは計上出来る fact3: 感じ易い遂行中は計上出来ない fact4: 仮にこのガラス容器は計上出来ないとしたら「それは遂行中だ一方で苛立たしかない」ということは成り立たない fact5: もしも実施段階がダンス・ミュージックだとすれば計上出来ない fact6: 「子息でない」物はある fact7: もしなにかは子息でないならばこのガラス容器は実施段階であるけれど苛立たしかない fact8: 「あのミッドウェー作戦は老人保健施設であるが撒くということはない」ということは誤っている fact9: 仮にあのミッドウェー作戦が潜り酒場である一方で計上出来ないとするとこのガラス容器は計上出来るということはない fact10: 「もしあのミッドウェー作戦は遂行中でないとすると「このＪ氏はダンス・ミュージックであるし老人保健施設である」ということは偽でない」ということは事実だ fact11: 「このＪ氏は感じ易いが苛立たしかない」ということは間違いだ fact12: 「このガラス容器は心優しいしそれは実施段階である」ということは成り立たない fact13: 「あのミッドウェー作戦が感じ易いしその上撒く」ということは真実でない fact14: このガラス容器が実施段階であるが苛立たしかないとするとこのＪ氏は遂行中だ fact15: もし仮にこのガラス容器が撒かないならあのミッドウェー作戦は苛立たしい fact16: あのブランドロゴは実施段階だ fact17: このＪ氏は老人保健施設だ fact18: 「あのミッドウェー作戦は撒くしかつ計上出来る」ということは成り立たない fact19: 「「ダンス・ミュージックでない」ということは真実である」物はある fact20: もし仮に「とある物は老人保健施設であるけれど撒かない」ということは成り立たないとすればそれは潜り酒場でない
fact6 & fact7 -> int1: このガラス容器は実施段階であるけれど苛立たしかない; int1 & fact14 -> int2: このＪ氏は遂行中だ; void -> assump1: 以下のように仮定する。このＪ氏は感じ易い; int2 & assump1 -> int3: このＪ氏は遂行中であるし加えて感じ易い; fact3 -> int4: 仮にこのＪ氏が遂行中だし感じ易いならそれは計上出来るということはない; int3 & int4 -> int5: このＪ氏は計上出来ない; fact20 -> int6: 「あのミッドウェー作戦は老人保健施設である一方で撒かない」ということは成り立つということはないとすると潜り酒場でない; int6 & fact8 -> int7: あのミッドウェー作戦は潜り酒場でない; fact2 & int7 -> int8: このＪ氏がダンス・ミュージックだしそれは計上出来る; int8 -> int9: このＪ氏は計上出来る; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「このＪ氏は感じ易い」ということは確かだ
$facts$ = fact1: 「「なにがしかの物は感じ易いけれどダンス・ミュージックでない」ということは成り立たないとしたらそれは撒かない」ということは確かだ fact2: もし仮にあのミッドウェー作戦が潜り酒場だということはないとすればこのＪ氏はダンス・ミュージックであるしそれは計上出来る fact3: 感じ易い遂行中は計上出来ない fact4: 仮にこのガラス容器は計上出来ないとしたら「それは遂行中だ一方で苛立たしかない」ということは成り立たない fact5: もしも実施段階がダンス・ミュージックだとすれば計上出来ない fact6: 「子息でない」物はある fact7: もしなにかは子息でないならばこのガラス容器は実施段階であるけれど苛立たしかない fact8: 「あのミッドウェー作戦は老人保健施設であるが撒くということはない」ということは誤っている fact9: 仮にあのミッドウェー作戦が潜り酒場である一方で計上出来ないとするとこのガラス容器は計上出来るということはない fact10: 「もしあのミッドウェー作戦は遂行中でないとすると「このＪ氏はダンス・ミュージックであるし老人保健施設である」ということは偽でない」ということは事実だ fact11: 「このＪ氏は感じ易いが苛立たしかない」ということは間違いだ fact12: 「このガラス容器は心優しいしそれは実施段階である」ということは成り立たない fact13: 「あのミッドウェー作戦が感じ易いしその上撒く」ということは真実でない fact14: このガラス容器が実施段階であるが苛立たしかないとするとこのＪ氏は遂行中だ fact15: もし仮にこのガラス容器が撒かないならあのミッドウェー作戦は苛立たしい fact16: あのブランドロゴは実施段階だ fact17: このＪ氏は老人保健施設だ fact18: 「あのミッドウェー作戦は撒くしかつ計上出来る」ということは成り立たない fact19: 「「ダンス・ミュージックでない」ということは真実である」物はある fact20: もし仮に「とある物は老人保健施設であるけれど撒かない」ということは成り立たないとすればそれは潜り酒場でない ; $hypothesis$ = このＪ氏は感じ易くない ; $proof$ = 
fact6 & fact7 -> int1: このガラス容器は実施段階であるけれど苛立たしかない; int1 & fact14 -> int2: このＪ氏は遂行中だ; void -> assump1: 以下のように仮定する。このＪ氏は感じ易い; int2 & assump1 -> int3: このＪ氏は遂行中であるし加えて感じ易い; fact3 -> int4: 仮にこのＪ氏が遂行中だし感じ易いならそれは計上出来るということはない; int3 & int4 -> int5: このＪ氏は計上出来ない; fact20 -> int6: 「あのミッドウェー作戦は老人保健施設である一方で撒かない」ということは成り立つということはないとすると潜り酒場でない; int6 & fact8 -> int7: あのミッドウェー作戦は潜り酒場でない; fact2 & int7 -> int8: このＪ氏がダンス・ミュージックだしそれは計上出来る; int8 -> int9: このＪ氏は計上出来る; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 「「なにがしかの物は感じ易いけれどダンス・ミュージックでない」ということは成り立たないとしたらそれは撒かない」ということは確かだ
事実2: もし仮にあのミッドウェー作戦が潜り酒場だということはないとすればこのＪ氏はダンス・ミュージックであるしそれは計上出来る
事実3: 感じ易い遂行中は計上出来ない
事実4: 仮にこのガラス容器は計上出来ないとしたら「それは遂行中だ一方で苛立たしかない」ということは成り立たない
事実5: もしも実施段階がダンス・ミュージックだとすれば計上出来ない
事実6: 「子息でない」物はある
事実7: もしなにかは子息でないならばこのガラス容器は実施段階であるけれど苛立たしかない
事実8: 「あのミッドウェー作戦は老人保健施設であるが撒くということはない」ということは誤っている
事実9: 仮にあのミッドウェー作戦が潜り酒場である一方で計上出来ないとするとこのガラス容器は計上出来るということはない
事実10: 「もしあのミッドウェー作戦は遂行中でないとすると「このＪ氏はダンス・ミュージックであるし老人保健施設である」ということは偽でない」ということは事実だ
事実11: 「このＪ氏は感じ易いが苛立たしかない」ということは間違いだ
事実12: 「このガラス容器は心優しいしそれは実施段階である」ということは成り立たない
事実13: 「あのミッドウェー作戦が感じ易いしその上撒く」ということは真実でない
事実14: このガラス容器が実施段階であるが苛立たしかないとするとこのＪ氏は遂行中だ
事実15: もし仮にこのガラス容器が撒かないならあのミッドウェー作戦は苛立たしい
事実16: あのブランドロゴは実施段階だ
事実17: このＪ氏は老人保健施設だ
事実18: 「あのミッドウェー作戦は撒くしかつ計上出来る」ということは成り立たない
事実19: 「「ダンス・ミュージックでない」ということは真実である」物はある
事実20: もし仮に「とある物は老人保健施設であるけれど撒かない」ということは成り立たないとすればそれは潜り酒場でない

仮説: このＪ氏は感じ易くない
1. 事実6と事実7から、推論1: "このガラス容器は実施段階であるけれど苛立たしかない"が導かれる
2. 推論1と事実14から、推論2: "このＪ氏は遂行中だ"が導かれる
3. 仮定1: 以下のように仮定する。このＪ氏は感じ易い
4. 推論2と仮定1から、推論3: "このＪ氏は遂行中であるし加えて感じ易い"が導かれる
5. 事実3から、推論4: "仮にこのＪ氏が遂行中だし感じ易いならそれは計上出来るということはない"が導かれる
6. 推論3と推論4から、推論5: "このＪ氏は計上出来ない"が導かれる
7. 事実20から、推論6: "「あのミッドウェー作戦は老人保健施設である一方で撒かない」ということは成り立つということはないとすると潜り酒場でない"が導かれる
8. 推論6と事実8から、推論7: "あのミッドウェー作戦は潜り酒場でない"が導かれる
9. 事実2と推論7から、推論8: "このＪ氏がダンス・ミュージックだしそれは計上出来る"が導かれる
10. 推論8から、推論9: "このＪ氏は計上出来る"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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