あの半導体レーザは御若いということはないかあるいはそれは具体像でない
fact1: この東京湾口は回り続けるか暫定である fact2: 仮に「この東京湾口は遅くないが腹黒い」ということは成り立たないとしたら魅せない fact3: もしこの大騒動が腹黒くないかまたはそれが遅いかまたは両方であるとすればこの東京湾口は調節し易くない fact4: もし仮になにがしかの物が密閉しないとすると遅くない fact5: もし仮にこの大騒動が密閉しないとすれば腹黒くないか遅いか両方ともだ fact6: 何らかのものが腹黒いとしたらそれは回り続ける fact7: 調節し易いということはない物は厳めしかない fact8: あの半導体レーザは魅せる fact9: 仮に「とある物は密閉するが遅くない」ということは嘘であるとすれば密閉するということはない fact10: もし仮にこの東京湾口が腹黒くないならこの大騒動は回り続けない fact11: この放射環境は魅せない fact12: もしもこの大騒動は回り続けるとしたら「この東京湾口は具体像でないかまたはそれは回り続けないかもしくは両方ともである」ということは本当でない fact13: あの半導体レーザは厳めしいならば「この東京湾口は御若くないかもしくはそれは厳めしいということはない」ということは成り立たない fact14: もしも何かは暫定であるとするとそれは厳めしい fact15: もし仮になにがしかの物は腹黒くないならば「それは密閉するがしかし遅くない」ということは誤っている fact16: もし「この大騒動は具体像でないし加えて腹黒いということはない」ということは本当であるということはないなら「この価格競争力は腹黒くない」ということは本当である fact17: もし仮になにがしかの物が回り続ければ厳めしい fact18: この大騒動は具体像であるならば「あの半導体レーザは御若くないかまたは具体像でないかもしくはどちらもだ」ということは成り立たない fact19: この大騒動は厳めしいとしたら「具体像でないしさらに腹黒くない」ということは事実でない fact20: もしもなんらかの物は厳めしいとすると「「御若くない」ということは誤っている」ということは成り立つ fact21: 「「とある物は密閉するということはないししかも魅せない」ということは確かである」ということは成り立たないならば具体像である fact22: もしこのマグマがマイちゃんでないならばそれは修理するということはないかまたはそれは撃破出来る fact23: 仮に「とあるものは魅せないけど調節し易い」ということは成り立たないなら調節し易くない fact24: この東京湾口は宗派不問であるかまたはそれは御若い
void -> assump1: 以下のように仮定する。この大騒動は密閉するということはないしその上魅せない; assump1 -> int1: この大騒動は密閉しない; int1 & fact5 -> int2: この大騒動は腹黒くないかあるいは遅い; int2 & fact3 -> int3: この東京湾口は調節し易くない; fact7 -> int4: この東京湾口は調節し易くないなら厳めしかない; int3 & int4 -> int5: この東京湾口は厳めしかない; fact14 -> int6: もしこの東京湾口が暫定だとすれば厳めしい; fact17 -> int7: 仮にこの東京湾口が回り続けるとすれば厳めしい; int6 & int7 & fact1 -> int8: この東京湾口は厳めしい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この大騒動は密閉しなくておまけにそれは魅せない」ということは嘘である; fact21 -> int11: もし仮に「この大騒動は密閉するということはないし魅せない」ということは事実と異なるとすると「それは具体像だ」ということは真実である; int10 & int11 -> int12: この大騒動は具体像である; int12 & fact18 -> hypothesis;
この価格競争力は調節し易くない
fact27 -> int13: もし「この価格競争力は魅せないが調節し易い」ということは誤りであるとしたら調節し易くない; fact29 -> int14: もし仮に「この価格競争力は密閉するがしかし遅いということはない」ということは誤っているなら「それは密閉しない」ということは誤りでない; fact28 -> int15: 仮にこの価格競争力は腹黒くないならば「それが密閉するしその上遅くない」ということは事実だということはない;
$facts$ = fact1: この東京湾口は回り続けるか暫定である fact2: 仮に「この東京湾口は遅くないが腹黒い」ということは成り立たないとしたら魅せない fact3: もしこの大騒動が腹黒くないかまたはそれが遅いかまたは両方であるとすればこの東京湾口は調節し易くない fact4: もし仮になにがしかの物が密閉しないとすると遅くない fact5: もし仮にこの大騒動が密閉しないとすれば腹黒くないか遅いか両方ともだ fact6: 何らかのものが腹黒いとしたらそれは回り続ける fact7: 調節し易いということはない物は厳めしかない fact8: あの半導体レーザは魅せる fact9: 仮に「とある物は密閉するが遅くない」ということは嘘であるとすれば密閉するということはない fact10: もし仮にこの東京湾口が腹黒くないならこの大騒動は回り続けない fact11: この放射環境は魅せない fact12: もしもこの大騒動は回り続けるとしたら「この東京湾口は具体像でないかまたはそれは回り続けないかもしくは両方ともである」ということは本当でない fact13: あの半導体レーザは厳めしいならば「この東京湾口は御若くないかもしくはそれは厳めしいということはない」ということは成り立たない fact14: もしも何かは暫定であるとするとそれは厳めしい fact15: もし仮になにがしかの物は腹黒くないならば「それは密閉するがしかし遅くない」ということは誤っている fact16: もし「この大騒動は具体像でないし加えて腹黒いということはない」ということは本当であるということはないなら「この価格競争力は腹黒くない」ということは本当である fact17: もし仮になにがしかの物が回り続ければ厳めしい fact18: この大騒動は具体像であるならば「あの半導体レーザは御若くないかまたは具体像でないかもしくはどちらもだ」ということは成り立たない fact19: この大騒動は厳めしいとしたら「具体像でないしさらに腹黒くない」ということは事実でない fact20: もしもなんらかの物は厳めしいとすると「「御若くない」ということは誤っている」ということは成り立つ fact21: 「「とある物は密閉するということはないししかも魅せない」ということは確かである」ということは成り立たないならば具体像である fact22: もしこのマグマがマイちゃんでないならばそれは修理するということはないかまたはそれは撃破出来る fact23: 仮に「とあるものは魅せないけど調節し易い」ということは成り立たないなら調節し易くない fact24: この東京湾口は宗派不問であるかまたはそれは御若い ; $hypothesis$ = あの半導体レーザは御若いということはないかあるいはそれは具体像でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この大騒動は密閉するということはないしその上魅せない; assump1 -> int1: この大騒動は密閉しない; int1 & fact5 -> int2: この大騒動は腹黒くないかあるいは遅い; int2 & fact3 -> int3: この東京湾口は調節し易くない; fact7 -> int4: この東京湾口は調節し易くないなら厳めしかない; int3 & int4 -> int5: この東京湾口は厳めしかない; fact14 -> int6: もしこの東京湾口が暫定だとすれば厳めしい; fact17 -> int7: 仮にこの東京湾口が回り続けるとすれば厳めしい; int6 & int7 & fact1 -> int8: この東京湾口は厳めしい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この大騒動は密閉しなくておまけにそれは魅せない」ということは嘘である; fact21 -> int11: もし仮に「この大騒動は密閉するということはないし魅せない」ということは事実と異なるとすると「それは具体像だ」ということは真実である; int10 & int11 -> int12: この大騒動は具体像である; int12 & fact18 -> hypothesis; __DISPROVED__
事実1: この東京湾口は回り続けるか暫定である
事実2: 仮に「この東京湾口は遅くないが腹黒い」ということは成り立たないとしたら魅せない
事実3: もしこの大騒動が腹黒くないかまたはそれが遅いかまたは両方であるとすればこの東京湾口は調節し易くない
事実4: もし仮になにがしかの物が密閉しないとすると遅くない
事実5: もし仮にこの大騒動が密閉しないとすれば腹黒くないか遅いか両方ともだ
事実6: 何らかのものが腹黒いとしたらそれは回り続ける
事実7: 調節し易いということはない物は厳めしかない
事実8: あの半導体レーザは魅せる
事実9: 仮に「とある物は密閉するが遅くない」ということは嘘であるとすれば密閉するということはない
事実10: もし仮にこの東京湾口が腹黒くないならこの大騒動は回り続けない
事実11: この放射環境は魅せない
事実12: もしもこの大騒動は回り続けるとしたら「この東京湾口は具体像でないかまたはそれは回り続けないかもしくは両方ともである」ということは本当でない
事実13: あの半導体レーザは厳めしいならば「この東京湾口は御若くないかもしくはそれは厳めしいということはない」ということは成り立たない
事実14: もしも何かは暫定であるとするとそれは厳めしい
事実15: もし仮になにがしかの物は腹黒くないならば「それは密閉するがしかし遅くない」ということは誤っている
事実16: もし「この大騒動は具体像でないし加えて腹黒いということはない」ということは本当であるということはないなら「この価格競争力は腹黒くない」ということは本当である
事実17: もし仮になにがしかの物が回り続ければ厳めしい
事実18: この大騒動は具体像であるならば「あの半導体レーザは御若くないかまたは具体像でないかもしくはどちらもだ」ということは成り立たない
事実19: この大騒動は厳めしいとしたら「具体像でないしさらに腹黒くない」ということは事実でない
事実20: もしもなんらかの物は厳めしいとすると「「御若くない」ということは誤っている」ということは成り立つ
事実21: 「「とある物は密閉するということはないししかも魅せない」ということは確かである」ということは成り立たないならば具体像である
事実22: もしこのマグマがマイちゃんでないならばそれは修理するということはないかまたはそれは撃破出来る
事実23: 仮に「とあるものは魅せないけど調節し易い」ということは成り立たないなら調節し易くない
事実24: この東京湾口は宗派不問であるかまたはそれは御若い

仮説: あの半導体レーザは御若いということはないかあるいはそれは具体像でない
1. 仮定1: 以下のように仮定する。この大騒動は密閉するということはないしその上魅せない
2. 仮定1から、推論1: "この大騒動は密閉しない"が導かれる
3. 推論1と事実5から、推論2: "この大騒動は腹黒くないかあるいは遅い"が導かれる
4. 推論2と事実3から、推論3: "この東京湾口は調節し易くない"が導かれる
5. 事実7から、推論4: "この東京湾口は調節し易くないなら厳めしかない"が導かれる
6. 推論3と推論4から、推論5: "この東京湾口は厳めしかない"が導かれる
7. 事実14から、推論6: "もしこの東京湾口が暫定だとすれば厳めしい"が導かれる
8. 事実17から、推論7: "仮にこの東京湾口が回り続けるとすれば厳めしい"が導かれる
9. 推論6と推論7と事実1から、推論8: "この東京湾口は厳めしい"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この大騒動は密閉しなくておまけにそれは魅せない」ということは嘘である"が導かれる
12. 事実21から、推論11: "もし仮に「この大騒動は密閉するということはないし魅せない」ということは事実と異なるとすると「それは具体像だ」ということは真実である"が導かれる
13. 推論10と推論11から、推論12: "この大騒動は具体像である"が導かれる
14. 推論12と事実18から、仮説が否定される

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