「この安息は呼び入れるかまたは眩い」ということは成り立たない
fact1: 仮に「あの従兄弟は壊れ易いということはない」ということは成り立つとすればこの末端は確実視するということはない fact2: もしこの安息が眩いなら確実視する fact3: この末端は確実視しない fact4: 仮にその東京無線が物悲しいとしたらけたたましい fact5: もし仮にあの従兄弟は壊れ易くないとすれば「この末端は確実視するかまたはそれは冷凍保存する」ということは嘘だ fact6: この安息は壊れ易い fact7: 「あの従兄弟は壊れ易いということはない」ということは本当である fact8: もしあの従兄弟が建築界であるけれど壊れ易くないとしたらこの安息は壊れ易いということはない fact9: もし「「確実視するかまたは冷凍保存するかあるいは両方だ」ということは成り立たない」ものがあるとすればそのブリッジタイプは建築界だ fact10: そのブリッジタイプは呼び入れる fact11: もしもそのブリッジタイプが建築界だとすればその東京無線は物悲しい fact12: もしもその東京無線はけたたましいとしたら「それは上級者向けだ」ということは事実である fact13: もしその東京無線は物悲しいとすれば「眩い」ということは成り立つ fact14: なにがしかのものは確実視するかあるいはそれは冷凍保存する fact15: 「「けたたましいかまたは壊れ易いかもしくは両方だ」ということは間違いな」ものはある fact16: もし「「眩いかあるいは呼び入れるか両方である」ということは事実と異なる」物があるとしたらこの安息は冷凍保存する fact17: 「あのフルスイングは挿入ボタンであるかもしくはそれは相反する」ということは真実である fact18: なにがしかの物は壊れ易いということはないとすれば「それは呼び入れるか眩いかあるいは両方である」ということは誤りだ fact19: 「呼び入れない」物はある fact20: 「「建築界であるかあるいは壊れ易い」ということは事実と異なる」ものがあるとするとそのブリッジタイプは物悲しい fact21: もし仮にその東京無線が上級者向けだとしたらこの安息は呼び入れる
fact5 & fact7 -> int1: 「この末端は確実視するかあるいはそれは冷凍保存するかもしくはどちらもだ」ということは事実でない; int1 -> int2: 「「「確実視するかあるいは冷凍保存する」ということは本当でない」物はある」ということは確かである; int2 & fact9 -> int3: そのブリッジタイプは建築界である; int3 & fact11 -> int4: その東京無線は物悲しい; int4 & fact4 -> int5: その東京無線はけたたましい; int5 & fact12 -> int6: その東京無線は上級者向けだ; int6 & fact21 -> int7: この安息は呼び入れる; int7 -> hypothesis;
「この安息は呼び入れるかあるいはそれは眩い」ということは成り立つということはない
fact22 -> int8: この安息は壊れ易くないとすると「呼び入れるかまたはそれは眩いかもしくは両方ともだ」ということは誤りである;
$facts$ = fact1: 仮に「あの従兄弟は壊れ易いということはない」ということは成り立つとすればこの末端は確実視するということはない fact2: もしこの安息が眩いなら確実視する fact3: この末端は確実視しない fact4: 仮にその東京無線が物悲しいとしたらけたたましい fact5: もし仮にあの従兄弟は壊れ易くないとすれば「この末端は確実視するかまたはそれは冷凍保存する」ということは嘘だ fact6: この安息は壊れ易い fact7: 「あの従兄弟は壊れ易いということはない」ということは本当である fact8: もしあの従兄弟が建築界であるけれど壊れ易くないとしたらこの安息は壊れ易いということはない fact9: もし「「確実視するかまたは冷凍保存するかあるいは両方だ」ということは成り立たない」ものがあるとすればそのブリッジタイプは建築界だ fact10: そのブリッジタイプは呼び入れる fact11: もしもそのブリッジタイプが建築界だとすればその東京無線は物悲しい fact12: もしもその東京無線はけたたましいとしたら「それは上級者向けだ」ということは事実である fact13: もしその東京無線は物悲しいとすれば「眩い」ということは成り立つ fact14: なにがしかのものは確実視するかあるいはそれは冷凍保存する fact15: 「「けたたましいかまたは壊れ易いかもしくは両方だ」ということは間違いな」ものはある fact16: もし「「眩いかあるいは呼び入れるか両方である」ということは事実と異なる」物があるとしたらこの安息は冷凍保存する fact17: 「あのフルスイングは挿入ボタンであるかもしくはそれは相反する」ということは真実である fact18: なにがしかの物は壊れ易いということはないとすれば「それは呼び入れるか眩いかあるいは両方である」ということは誤りだ fact19: 「呼び入れない」物はある fact20: 「「建築界であるかあるいは壊れ易い」ということは事実と異なる」ものがあるとするとそのブリッジタイプは物悲しい fact21: もし仮にその東京無線が上級者向けだとしたらこの安息は呼び入れる ; $hypothesis$ = 「この安息は呼び入れるかまたは眩い」ということは成り立たない ; $proof$ = 
fact5 & fact7 -> int1: 「この末端は確実視するかあるいはそれは冷凍保存するかもしくはどちらもだ」ということは事実でない; int1 -> int2: 「「「確実視するかあるいは冷凍保存する」ということは本当でない」物はある」ということは確かである; int2 & fact9 -> int3: そのブリッジタイプは建築界である; int3 & fact11 -> int4: その東京無線は物悲しい; int4 & fact4 -> int5: その東京無線はけたたましい; int5 & fact12 -> int6: その東京無線は上級者向けだ; int6 & fact21 -> int7: この安息は呼び入れる; int7 -> hypothesis; __DISPROVED__
事実1: 仮に「あの従兄弟は壊れ易いということはない」ということは成り立つとすればこの末端は確実視するということはない
事実2: もしこの安息が眩いなら確実視する
事実3: この末端は確実視しない
事実4: 仮にその東京無線が物悲しいとしたらけたたましい
事実5: もし仮にあの従兄弟は壊れ易くないとすれば「この末端は確実視するかまたはそれは冷凍保存する」ということは嘘だ
事実6: この安息は壊れ易い
事実7: 「あの従兄弟は壊れ易いということはない」ということは本当である
事実8: もしあの従兄弟が建築界であるけれど壊れ易くないとしたらこの安息は壊れ易いということはない
事実9: もし「「確実視するかまたは冷凍保存するかあるいは両方だ」ということは成り立たない」ものがあるとすればそのブリッジタイプは建築界だ
事実10: そのブリッジタイプは呼び入れる
事実11: もしもそのブリッジタイプが建築界だとすればその東京無線は物悲しい
事実12: もしもその東京無線はけたたましいとしたら「それは上級者向けだ」ということは事実である
事実13: もしその東京無線は物悲しいとすれば「眩い」ということは成り立つ
事実14: なにがしかのものは確実視するかあるいはそれは冷凍保存する
事実15: 「「けたたましいかまたは壊れ易いかもしくは両方だ」ということは間違いな」ものはある
事実16: もし「「眩いかあるいは呼び入れるか両方である」ということは事実と異なる」物があるとしたらこの安息は冷凍保存する
事実17: 「あのフルスイングは挿入ボタンであるかもしくはそれは相反する」ということは真実である
事実18: なにがしかの物は壊れ易いということはないとすれば「それは呼び入れるか眩いかあるいは両方である」ということは誤りだ
事実19: 「呼び入れない」物はある
事実20: 「「建築界であるかあるいは壊れ易い」ということは事実と異なる」ものがあるとするとそのブリッジタイプは物悲しい
事実21: もし仮にその東京無線が上級者向けだとしたらこの安息は呼び入れる

仮説: 「この安息は呼び入れるかまたは眩い」ということは成り立たない
1. 事実5と事実7から、推論1: "「この末端は確実視するかあるいはそれは冷凍保存するかもしくはどちらもだ」ということは事実でない"が導かれる
2. 推論1から、推論2: "「「「確実視するかあるいは冷凍保存する」ということは本当でない」物はある」ということは確かである"が導かれる
3. 推論2と事実9から、推論3: "そのブリッジタイプは建築界である"が導かれる
4. 推論3と事実11から、推論4: "その東京無線は物悲しい"が導かれる
5. 推論4と事実4から、推論5: "その東京無線はけたたましい"が導かれる
6. 推論5と事実12から、推論6: "その東京無線は上級者向けだ"が導かれる
7. 推論6と事実21から、推論7: "この安息は呼び入れる"が導かれる
8. 推論7から、仮説が否定される

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