その五反未満層は江戸っ子気質でない
fact1: もし仮に「「「手伝えないしそれに計算し尽くさない」ということは真実だ」ということは嘘である」ものがあればあの突発性内耳障害は着膨れない fact2: 「「臭いけれど江戸っ子気質でない」ということは成り立たない」ものはあるとすれば「その五反未満層は隙間無い」ということは事実である fact3: もし仮に「なにがしかの物は着せがましいけれどどうして良くない」ということは事実と異なるならどうして良い fact4: もし仮にこの中継ぎは臭いなら「それは江戸っ子気質であるしそれは隙間無いということはない」ということは成り立つということはない fact5: 仮にその別れが呪わしいとするとこの中継ぎは呪わしい fact6: なにがしかの物は参考しないとしたら「江戸っ子気質だしそれは隙間無い」ということは確かでない fact7: 「評価・判断だしまた臭いということはない」物はある fact8: この中継ぎは隙間無いとすると「それは評価・判断だしまた臭い」ということは誤りである fact9: もし仮に「この中継ぎは隙間無い」ということは成り立てば「それは評価・判断であるし臭くない」ということは誤りだ fact10: 「この中継ぎは評価・判断であるし臭い」ということは偽である fact11: 「「評価・判断であるしおまけに臭い」ということは間違いである」ものはある fact12: もし「「評価・判断だしその上臭くない」ということは成り立たない」ものがあればその五反未満層は江戸っ子気質である fact13: その五反未満層は見開けば「隙間無いしさらに遠い」ということは成り立たない fact14: 仮に「なんらかのものは江戸っ子気質でそれに隙間無い」ということは成り立たないならそれは江戸っ子気質でない fact15: 「「古いしその上覚悟す」ということは誤っている」物はある fact16: この中継ぎは隙間無い fact17: この撮影用がどうして良いならこの中継ぎはどうして良い fact18: 「その大胸筋は眠たくないけれど取得し易い」ということは偽だとしたらその別れは呪わしい fact19: 「この複数本は手伝えないしおまけにそれは計算し尽くさない」ということは成り立たない fact20: この撮影用は覚悟すらないなら「着せがましいけどどうして良くない」ということは成り立たない fact21: もしも「「「古くてかつ覚悟す」ということは本当である」ということは偽な」ものがあればこの撮影用は覚悟すらない fact22: 仮にあの突発性内耳障害は着膨れないとしたら「その大胸筋は眠たくないけど取得し易い」ということは間違っている
fact9 & fact16 -> int1: 「この中継ぎは評価・判断だがしかし臭くない」ということは成り立たない; int1 -> int2: 「「評価・判断で加えて臭いということはない」ということは間違いな」物はある; int2 & fact12 -> hypothesis;
fact9 & fact16 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact12 -> hypothesis;
その五反未満層は江戸っ子気質でない
fact33 -> int3: もし「その五反未満層は江戸っ子気質で隙間無い」ということは間違いであるなら江戸っ子気質でない; fact34 -> int4: 仮にその五反未満層は参考しないとすると「江戸っ子気質であるしその上それは隙間無い」ということは成り立たない; fact24 -> int5: もしも「この撮影用は着せがましいがしかしそれはどうして良くない」ということは嘘であるならどうして良い; fact23 & fact25 -> int6: この撮影用は覚悟すらない; fact27 & int6 -> int7: 「この撮影用は着せがましいけれどそれはどうして良くない」ということは真実でない; int5 & int7 -> int8: この撮影用はどうして良い; fact30 & int8 -> int9: この中継ぎはどうして良い; fact29 -> int10: 「「手伝えないしまた計算し尽くさない」ということは成り立つということはない」ものはある; int10 & fact26 -> int11: あの突発性内耳障害は着膨れるということはない; fact32 & int11 -> int12: 「その大胸筋は眠たくない一方で取得し易い」ということは誤りである; fact31 & int12 -> int13: その別れは呪わしい; fact28 & int13 -> int14: この中継ぎは呪わしい; int9 & int14 -> int15: この中継ぎはどうして良くてまた呪わしい; int15 -> int16: とある物はどうして良いししかも呪わしい;
$facts$ = fact1: もし仮に「「「手伝えないしそれに計算し尽くさない」ということは真実だ」ということは嘘である」ものがあればあの突発性内耳障害は着膨れない fact2: 「「臭いけれど江戸っ子気質でない」ということは成り立たない」ものはあるとすれば「その五反未満層は隙間無い」ということは事実である fact3: もし仮に「なにがしかの物は着せがましいけれどどうして良くない」ということは事実と異なるならどうして良い fact4: もし仮にこの中継ぎは臭いなら「それは江戸っ子気質であるしそれは隙間無いということはない」ということは成り立つということはない fact5: 仮にその別れが呪わしいとするとこの中継ぎは呪わしい fact6: なにがしかの物は参考しないとしたら「江戸っ子気質だしそれは隙間無い」ということは確かでない fact7: 「評価・判断だしまた臭いということはない」物はある fact8: この中継ぎは隙間無いとすると「それは評価・判断だしまた臭い」ということは誤りである fact9: もし仮に「この中継ぎは隙間無い」ということは成り立てば「それは評価・判断であるし臭くない」ということは誤りだ fact10: 「この中継ぎは評価・判断であるし臭い」ということは偽である fact11: 「「評価・判断であるしおまけに臭い」ということは間違いである」ものはある fact12: もし「「評価・判断だしその上臭くない」ということは成り立たない」ものがあればその五反未満層は江戸っ子気質である fact13: その五反未満層は見開けば「隙間無いしさらに遠い」ということは成り立たない fact14: 仮に「なんらかのものは江戸っ子気質でそれに隙間無い」ということは成り立たないならそれは江戸っ子気質でない fact15: 「「古いしその上覚悟す」ということは誤っている」物はある fact16: この中継ぎは隙間無い fact17: この撮影用がどうして良いならこの中継ぎはどうして良い fact18: 「その大胸筋は眠たくないけれど取得し易い」ということは偽だとしたらその別れは呪わしい fact19: 「この複数本は手伝えないしおまけにそれは計算し尽くさない」ということは成り立たない fact20: この撮影用は覚悟すらないなら「着せがましいけどどうして良くない」ということは成り立たない fact21: もしも「「「古くてかつ覚悟す」ということは本当である」ということは偽な」ものがあればこの撮影用は覚悟すらない fact22: 仮にあの突発性内耳障害は着膨れないとしたら「その大胸筋は眠たくないけど取得し易い」ということは間違っている ; $hypothesis$ = その五反未満層は江戸っ子気質でない ; $proof$ = 
fact9 & fact16 -> int1: 「この中継ぎは評価・判断だがしかし臭くない」ということは成り立たない; int1 -> int2: 「「評価・判断で加えて臭いということはない」ということは間違いな」物はある; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮に「「「手伝えないしそれに計算し尽くさない」ということは真実だ」ということは嘘である」ものがあればあの突発性内耳障害は着膨れない
事実2: 「「臭いけれど江戸っ子気質でない」ということは成り立たない」ものはあるとすれば「その五反未満層は隙間無い」ということは事実である
事実3: もし仮に「なにがしかの物は着せがましいけれどどうして良くない」ということは事実と異なるならどうして良い
事実4: もし仮にこの中継ぎは臭いなら「それは江戸っ子気質であるしそれは隙間無いということはない」ということは成り立つということはない
事実5: 仮にその別れが呪わしいとするとこの中継ぎは呪わしい
事実6: なにがしかの物は参考しないとしたら「江戸っ子気質だしそれは隙間無い」ということは確かでない
事実7: 「評価・判断だしまた臭いということはない」物はある
事実8: この中継ぎは隙間無いとすると「それは評価・判断だしまた臭い」ということは誤りである
事実9: もし仮に「この中継ぎは隙間無い」ということは成り立てば「それは評価・判断であるし臭くない」ということは誤りだ
事実10: 「この中継ぎは評価・判断であるし臭い」ということは偽である
事実11: 「「評価・判断であるしおまけに臭い」ということは間違いである」ものはある
事実12: もし「「評価・判断だしその上臭くない」ということは成り立たない」ものがあればその五反未満層は江戸っ子気質である
事実13: その五反未満層は見開けば「隙間無いしさらに遠い」ということは成り立たない
事実14: 仮に「なんらかのものは江戸っ子気質でそれに隙間無い」ということは成り立たないならそれは江戸っ子気質でない
事実15: 「「古いしその上覚悟す」ということは誤っている」物はある
事実16: この中継ぎは隙間無い
事実17: この撮影用がどうして良いならこの中継ぎはどうして良い
事実18: 「その大胸筋は眠たくないけれど取得し易い」ということは偽だとしたらその別れは呪わしい
事実19: 「この複数本は手伝えないしおまけにそれは計算し尽くさない」ということは成り立たない
事実20: この撮影用は覚悟すらないなら「着せがましいけどどうして良くない」ということは成り立たない
事実21: もしも「「「古くてかつ覚悟す」ということは本当である」ということは偽な」ものがあればこの撮影用は覚悟すらない
事実22: 仮にあの突発性内耳障害は着膨れないとしたら「その大胸筋は眠たくないけど取得し易い」ということは間違っている

仮説: その五反未満層は江戸っ子気質でない
1. 事実9と事実16から、推論1: "「この中継ぎは評価・判断だがしかし臭くない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「評価・判断で加えて臭いということはない」ということは間違いな」物はある"が導かれる
3. 推論2と事実12から、仮説が否定される

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