「仮にあの観光用が支えるということはないとしたらこの使用基準は喧騒だ」ということは成り立たない
fact1: 何らかのものは伝わり易い fact2: 「あの観光用は皮肉めかない」ということは事実だ fact3: 「その連射は皮肉めかない」ということは事実だ fact4: もし仮に「「後生でないしまた喧騒だ」ということは成り立たない」物があるとすればこの千七百六十七年版は喧騒でない fact5: 仮に「このアサミ美容外科は伝わり易くないし巻き起こさない」ということは真実だということはないとするとＪＰＮＩＣでない fact6: もし「伝わり易い」ものはあるとすると「このアサミ美容外科は伝わり易くないし更にそれは巻き起こさない」ということは誤っている fact7: この使用基準が支えるということはないとしたらあの観光用は出現しないし更に登拝しない fact8: なんらかの物が空々しいとしたらそれは喧騒だ fact9: もしなんらかのものはＪＰＮＩＣでないとしたら「後生でないししかも喧騒だ」ということは偽だ fact10: 仮にあるものが支えないし皮肉めかないとすればこの使用基準は空々しい fact11: 「あの観光用は支える」ということは間違いでないとしたらこの使用基準は喧騒である fact12: 「「皮肉めく」ということは誤っている」ものはある fact13: 「何かは支えないけれど皮肉めく」ということは本当だ fact14: 「なんらかの物は支えるけどそれは皮肉めかない」ということは成り立つ fact15: もし「喧騒でない」ものがあるとするとこの労務不能は皮肉めくし空々しい fact16: もしも「皮肉めく」ものがあるとすればこの使用基準は支えない
void -> assump1: 以下のように仮定する。あの観光用は支えない; assump1 & fact2 -> int1: あの観光用は支えないし加えて皮肉めかない; int1 -> int2: なにがしかのものが支えるということはないしさらにそれは皮肉めかない; int2 & fact10 -> int3: 「この使用基準は空々しかない」ということは誤りだ; fact8 -> int4: この使用基準が空々しいとすれば喧騒だ; int3 & int4 -> int5: この使用基準は喧騒だ; [assump1] & int5 -> hypothesis;
「出現しないし登拝しない」物はある
fact19 -> int6: 仮にこのアサミ美容外科はＪＰＮＩＣでないとしたら「後生でなくて加えて喧騒だ」ということは成り立つということはない; fact20 & fact24 -> int7: 「このアサミ美容外科は伝わり易くないしおまけに巻き起こさない」ということは事実でない; fact23 & int7 -> int8: このアサミ美容外科はＪＰＮＩＣでない; int6 & int8 -> int9: 「このアサミ美容外科は後生でない一方で喧騒だ」ということは成り立たない; int9 -> int10: 「「後生であるということはないし加えて喧騒である」ということは間違いな」ものはある; int10 & fact18 -> int11: この千七百六十七年版は喧騒でない; int11 -> int12: とあるものは喧騒でない; int12 & fact21 -> int13: この労務不能が皮肉めくしその上空々しい; int13 -> int14: 「この労務不能は皮肉めく」ということは正しい; int14 -> int15: 「皮肉めく」物はある; int15 & fact17 -> int16: この使用基準は支えない; fact22 & int16 -> int17: あの観光用は出現しなくてかつ登拝しない; int17 -> hypothesis;
$facts$ = fact1: 何らかのものは伝わり易い fact2: 「あの観光用は皮肉めかない」ということは事実だ fact3: 「その連射は皮肉めかない」ということは事実だ fact4: もし仮に「「後生でないしまた喧騒だ」ということは成り立たない」物があるとすればこの千七百六十七年版は喧騒でない fact5: 仮に「このアサミ美容外科は伝わり易くないし巻き起こさない」ということは真実だということはないとするとＪＰＮＩＣでない fact6: もし「伝わり易い」ものはあるとすると「このアサミ美容外科は伝わり易くないし更にそれは巻き起こさない」ということは誤っている fact7: この使用基準が支えるということはないとしたらあの観光用は出現しないし更に登拝しない fact8: なんらかの物が空々しいとしたらそれは喧騒だ fact9: もしなんらかのものはＪＰＮＩＣでないとしたら「後生でないししかも喧騒だ」ということは偽だ fact10: 仮にあるものが支えないし皮肉めかないとすればこの使用基準は空々しい fact11: 「あの観光用は支える」ということは間違いでないとしたらこの使用基準は喧騒である fact12: 「「皮肉めく」ということは誤っている」ものはある fact13: 「何かは支えないけれど皮肉めく」ということは本当だ fact14: 「なんらかの物は支えるけどそれは皮肉めかない」ということは成り立つ fact15: もし「喧騒でない」ものがあるとするとこの労務不能は皮肉めくし空々しい fact16: もしも「皮肉めく」ものがあるとすればこの使用基準は支えない ; $hypothesis$ = 「仮にあの観光用が支えるということはないとしたらこの使用基準は喧騒だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの観光用は支えない; assump1 & fact2 -> int1: あの観光用は支えないし加えて皮肉めかない; int1 -> int2: なにがしかのものが支えるということはないしさらにそれは皮肉めかない; int2 & fact10 -> int3: 「この使用基準は空々しかない」ということは誤りだ; fact8 -> int4: この使用基準が空々しいとすれば喧騒だ; int3 & int4 -> int5: この使用基準は喧騒だ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 何らかのものは伝わり易い
事実2: 「あの観光用は皮肉めかない」ということは事実だ
事実3: 「その連射は皮肉めかない」ということは事実だ
事実4: もし仮に「「後生でないしまた喧騒だ」ということは成り立たない」物があるとすればこの千七百六十七年版は喧騒でない
事実5: 仮に「このアサミ美容外科は伝わり易くないし巻き起こさない」ということは真実だということはないとするとＪＰＮＩＣでない
事実6: もし「伝わり易い」ものはあるとすると「このアサミ美容外科は伝わり易くないし更にそれは巻き起こさない」ということは誤っている
事実7: この使用基準が支えるということはないとしたらあの観光用は出現しないし更に登拝しない
事実8: なんらかの物が空々しいとしたらそれは喧騒だ
事実9: もしなんらかのものはＪＰＮＩＣでないとしたら「後生でないししかも喧騒だ」ということは偽だ
事実10: 仮にあるものが支えないし皮肉めかないとすればこの使用基準は空々しい
事実11: 「あの観光用は支える」ということは間違いでないとしたらこの使用基準は喧騒である
事実12: 「「皮肉めく」ということは誤っている」ものはある
事実13: 「何かは支えないけれど皮肉めく」ということは本当だ
事実14: 「なんらかの物は支えるけどそれは皮肉めかない」ということは成り立つ
事実15: もし「喧騒でない」ものがあるとするとこの労務不能は皮肉めくし空々しい
事実16: もしも「皮肉めく」ものがあるとすればこの使用基準は支えない

仮説: 「仮にあの観光用が支えるということはないとしたらこの使用基準は喧騒だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの観光用は支えない
2. 仮定1と事実2から、推論1: "あの観光用は支えないし加えて皮肉めかない"が導かれる
3. 推論1から、推論2: "なにがしかのものが支えるということはないしさらにそれは皮肉めかない"が導かれる
4. 推論2と事実10から、推論3: "「この使用基準は空々しかない」ということは誤りだ"が導かれる
5. 事実8から、推論4: "この使用基準が空々しいとすれば喧騒だ"が導かれる
6. 推論3と推論4から、推論5: "この使用基準は喧騒だ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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