この高齢者層は立ち込めない
fact1: もし仮にあのジスキネジアが新宿駅西口でないがそれが鳴き出すとしたらそれは所碑だ fact2: あの積は恥ずかしい fact3: 「如此し物は新規開拓であるか立ち込めない」ということは成り立つ fact4: もしなにかは口上であるとすれば「それは悩ましい」ということは成り立つ fact5: 仮に「なんらかの物が押し付けはましくらないし悩ましくない」ということは嘘であるとするとそれは押し付けがましい fact6: あの積は東洋メタライジングである fact7: あの積は悩ましい fact8: ある物は立ち込めるかまたはそれは悩ましい fact9: もし仮にあのジスキネジアは悩ましいとすれば「あの積は立ち込めない」ということは本当だ fact10: この斜め下方向は新宿駅西口だ fact11: 「立ち込めるか口上であるかあるいは両方ともである」物はある fact12: もし仮にあの積は立ち込めないならば「この高齢者層は立ち込めない」ということは成り立つ fact13: 「その守成は上げ易いか悩ましいかもしくはどちらもである」ということは本当である fact14: もしも口上があるとすればこの高齢者層は立ち込める fact15: もし「あのジスキネジアは所碑だ」ということは事実だとすれば恥ずかしくないけれど如此し fact16: あの積は立ち込める fact17: もしも何かは悩ましいかまたは口上なら「この高齢者層は立ち込めない」ということは間違いだ fact18: 「あの積は口上でない」ということは成り立つとすると「「この高齢者層が押し付けはましくらなくてまた悩ましくない」ということは真実である」ということは間違いである fact19: もし仮にとある物は口上であるかもしくは悩ましいかもしくは両方ともだとしたら「あの積は立ち込めない」ということは誤りだ
fact7 -> int1: あの積は悩ましいかまたは口上だ; int1 -> int2: なんらかのものは悩ましいか口上だ; int2 & fact17 -> hypothesis;
fact7 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact17 -> hypothesis;
この高齢者層は押し付けがましい
fact22 -> int3: もし仮に「この高齢者層が押し付けはましくらないし悩ましくない」ということは成り立たないとしたらそれは押し付けがましい; fact24 -> int4: もし仮にあのジスキネジアが如此しならば新規開拓であるかまたは立ち込めないか両方ともだ;
$facts$ = fact1: もし仮にあのジスキネジアが新宿駅西口でないがそれが鳴き出すとしたらそれは所碑だ fact2: あの積は恥ずかしい fact3: 「如此し物は新規開拓であるか立ち込めない」ということは成り立つ fact4: もしなにかは口上であるとすれば「それは悩ましい」ということは成り立つ fact5: 仮に「なんらかの物が押し付けはましくらないし悩ましくない」ということは嘘であるとするとそれは押し付けがましい fact6: あの積は東洋メタライジングである fact7: あの積は悩ましい fact8: ある物は立ち込めるかまたはそれは悩ましい fact9: もし仮にあのジスキネジアは悩ましいとすれば「あの積は立ち込めない」ということは本当だ fact10: この斜め下方向は新宿駅西口だ fact11: 「立ち込めるか口上であるかあるいは両方ともである」物はある fact12: もし仮にあの積は立ち込めないならば「この高齢者層は立ち込めない」ということは成り立つ fact13: 「その守成は上げ易いか悩ましいかもしくはどちらもである」ということは本当である fact14: もしも口上があるとすればこの高齢者層は立ち込める fact15: もし「あのジスキネジアは所碑だ」ということは事実だとすれば恥ずかしくないけれど如此し fact16: あの積は立ち込める fact17: もしも何かは悩ましいかまたは口上なら「この高齢者層は立ち込めない」ということは間違いだ fact18: 「あの積は口上でない」ということは成り立つとすると「「この高齢者層が押し付けはましくらなくてまた悩ましくない」ということは真実である」ということは間違いである fact19: もし仮にとある物は口上であるかもしくは悩ましいかもしくは両方ともだとしたら「あの積は立ち込めない」ということは誤りだ ; $hypothesis$ = この高齢者層は立ち込めない ; $proof$ = 
fact7 -> int1: あの積は悩ましいかまたは口上だ; int1 -> int2: なんらかのものは悩ましいか口上だ; int2 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にあのジスキネジアが新宿駅西口でないがそれが鳴き出すとしたらそれは所碑だ
事実2: あの積は恥ずかしい
事実3: 「如此し物は新規開拓であるか立ち込めない」ということは成り立つ
事実4: もしなにかは口上であるとすれば「それは悩ましい」ということは成り立つ
事実5: 仮に「なんらかの物が押し付けはましくらないし悩ましくない」ということは嘘であるとするとそれは押し付けがましい
事実6: あの積は東洋メタライジングである
事実7: あの積は悩ましい
事実8: ある物は立ち込めるかまたはそれは悩ましい
事実9: もし仮にあのジスキネジアは悩ましいとすれば「あの積は立ち込めない」ということは本当だ
事実10: この斜め下方向は新宿駅西口だ
事実11: 「立ち込めるか口上であるかあるいは両方ともである」物はある
事実12: もし仮にあの積は立ち込めないならば「この高齢者層は立ち込めない」ということは成り立つ
事実13: 「その守成は上げ易いか悩ましいかもしくはどちらもである」ということは本当である
事実14: もしも口上があるとすればこの高齢者層は立ち込める
事実15: もし「あのジスキネジアは所碑だ」ということは事実だとすれば恥ずかしくないけれど如此し
事実16: あの積は立ち込める
事実17: もしも何かは悩ましいかまたは口上なら「この高齢者層は立ち込めない」ということは間違いだ
事実18: 「あの積は口上でない」ということは成り立つとすると「「この高齢者層が押し付けはましくらなくてまた悩ましくない」ということは真実である」ということは間違いである
事実19: もし仮にとある物は口上であるかもしくは悩ましいかもしくは両方ともだとしたら「あの積は立ち込めない」ということは誤りだ

仮説: この高齢者層は立ち込めない
1. 事実7から、推論1: "あの積は悩ましいかまたは口上だ"が導かれる
2. 推論1から、推論2: "なんらかのものは悩ましいか口上だ"が導かれる
3. 推論2と事実17から、仮説が否定される

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