「その吊り橋は惨たらしくないかもしくは知り合いらしくないかあるいはどちらもだ」ということは成り立たない
fact1: 仮になにがしかのものは上げ難くないとすると「それは起爆するし義寂だ」ということは成り立つということはない fact2: もし「その心臓全体は縮まなくてその上知り合いらしいない」ということは誤りであるなら起爆しない fact3: その地域モデルは義寂でないし更に起爆するということはないとするとそれは荒っぽくない fact4: その心臓全体は多品種化でない fact5: 「その心臓全体は空襲しないしそれに多品種化でない」ということは成り立たないならばそれは末恐ろしいということはない fact6: もし「その地域モデルは荒っぽくない」ということは確かであるならば「その心臓全体は縮む一方で末恐ろしくない」ということは成り立たない fact7: その心臓全体は多品種化でないならば「それは陣立てでないしその上縮まない」ということは成り立たない fact8: もし「その吊り橋は惨たらしくないか知り合いらしくないか両方ともである」ということは間違いであるとすればそれは上げ難い fact9: その地域モデルは起爆しないなら「その吊り橋は惨たらしくないか知り合いらしくないかあるいは両方ともだ」ということは事実と異なる fact10: もし仮にその吊り橋が上げ難いならばその地域モデルは義寂でなくてしかもそれは起爆しない fact11: 末恐ろしいということはないものは上げ難くないし加えて荒っぽくない fact12: その心臓全体は陣立てだししかも縮む fact13: 仮に「「何らかの物は起爆するしそれにそれは義寂である」ということは真実だ」ということは偽だとしたら起爆するということはない fact14: 「その心臓全体は空襲しなくてかつ多品種化でない」ということは誤りだ fact15: その心臓全体が多品種化だとすれば知り合いらしくない
void -> assump1: 以下のように仮定する。「その吊り橋は惨たらしくないかあるいはそれは知り合いらしいということはないかもしくは両方ともである」ということは事実と異なる; fact8 & assump1 -> int1: その吊り橋は上げ難い; int1 & fact10 -> int2: その地域モデルは義寂でないし起爆しない; int2 & fact3 -> int3: その地域モデルは荒っぽくない; int3 & fact6 -> int4: 「その心臓全体は縮む一方でそれは末恐ろしいということはない」ということは成り立たない; fact12 -> int5: その心臓全体は縮む; fact5 & fact14 -> int6: その心臓全体は末恐ろしくない; int5 & int6 -> int7: その心臓全体は縮むがそれは末恐ろしくない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「その吊り橋は惨たらしくないかまたはそれは知り合いらしくないかあるいは両方ともである」ということは成り立たない
fact20 -> int9: 「その地域モデルは起爆するし義寂だ」ということは嘘であるとすれば起爆しない; fact18 -> int10: もしもその地域モデルは上げ難くないとしたら「起爆するししかもそれは義寂である」ということは成り立たない; fact17 -> int11: その地域モデルが末恐ろしくないなら上げ難くないし加えて荒っぽくない; fact16 & fact21 -> int12: 「「その心臓全体は陣立てでなくて更に縮まない」ということは事実である」ということは成り立たない; int12 -> int13: 「「陣立てでないしまた縮まない」ということは確かでない」ものはある;
$facts$ = fact1: 仮になにがしかのものは上げ難くないとすると「それは起爆するし義寂だ」ということは成り立つということはない fact2: もし「その心臓全体は縮まなくてその上知り合いらしいない」ということは誤りであるなら起爆しない fact3: その地域モデルは義寂でないし更に起爆するということはないとするとそれは荒っぽくない fact4: その心臓全体は多品種化でない fact5: 「その心臓全体は空襲しないしそれに多品種化でない」ということは成り立たないならばそれは末恐ろしいということはない fact6: もし「その地域モデルは荒っぽくない」ということは確かであるならば「その心臓全体は縮む一方で末恐ろしくない」ということは成り立たない fact7: その心臓全体は多品種化でないならば「それは陣立てでないしその上縮まない」ということは成り立たない fact8: もし「その吊り橋は惨たらしくないか知り合いらしくないか両方ともである」ということは間違いであるとすればそれは上げ難い fact9: その地域モデルは起爆しないなら「その吊り橋は惨たらしくないか知り合いらしくないかあるいは両方ともだ」ということは事実と異なる fact10: もし仮にその吊り橋が上げ難いならばその地域モデルは義寂でなくてしかもそれは起爆しない fact11: 末恐ろしいということはないものは上げ難くないし加えて荒っぽくない fact12: その心臓全体は陣立てだししかも縮む fact13: 仮に「「何らかの物は起爆するしそれにそれは義寂である」ということは真実だ」ということは偽だとしたら起爆するということはない fact14: 「その心臓全体は空襲しなくてかつ多品種化でない」ということは誤りだ fact15: その心臓全体が多品種化だとすれば知り合いらしくない ; $hypothesis$ = 「その吊り橋は惨たらしくないかもしくは知り合いらしくないかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その吊り橋は惨たらしくないかあるいはそれは知り合いらしいということはないかもしくは両方ともである」ということは事実と異なる; fact8 & assump1 -> int1: その吊り橋は上げ難い; int1 & fact10 -> int2: その地域モデルは義寂でないし起爆しない; int2 & fact3 -> int3: その地域モデルは荒っぽくない; int3 & fact6 -> int4: 「その心臓全体は縮む一方でそれは末恐ろしいということはない」ということは成り立たない; fact12 -> int5: その心臓全体は縮む; fact5 & fact14 -> int6: その心臓全体は末恐ろしくない; int5 & int6 -> int7: その心臓全体は縮むがそれは末恐ろしくない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは上げ難くないとすると「それは起爆するし義寂だ」ということは成り立つということはない
事実2: もし「その心臓全体は縮まなくてその上知り合いらしいない」ということは誤りであるなら起爆しない
事実3: その地域モデルは義寂でないし更に起爆するということはないとするとそれは荒っぽくない
事実4: その心臓全体は多品種化でない
事実5: 「その心臓全体は空襲しないしそれに多品種化でない」ということは成り立たないならばそれは末恐ろしいということはない
事実6: もし「その地域モデルは荒っぽくない」ということは確かであるならば「その心臓全体は縮む一方で末恐ろしくない」ということは成り立たない
事実7: その心臓全体は多品種化でないならば「それは陣立てでないしその上縮まない」ということは成り立たない
事実8: もし「その吊り橋は惨たらしくないか知り合いらしくないか両方ともである」ということは間違いであるとすればそれは上げ難い
事実9: その地域モデルは起爆しないなら「その吊り橋は惨たらしくないか知り合いらしくないかあるいは両方ともだ」ということは事実と異なる
事実10: もし仮にその吊り橋が上げ難いならばその地域モデルは義寂でなくてしかもそれは起爆しない
事実11: 末恐ろしいということはないものは上げ難くないし加えて荒っぽくない
事実12: その心臓全体は陣立てだししかも縮む
事実13: 仮に「「何らかの物は起爆するしそれにそれは義寂である」ということは真実だ」ということは偽だとしたら起爆するということはない
事実14: 「その心臓全体は空襲しなくてかつ多品種化でない」ということは誤りだ
事実15: その心臓全体が多品種化だとすれば知り合いらしくない

仮説: 「その吊り橋は惨たらしくないかもしくは知り合いらしくないかあるいはどちらもだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その吊り橋は惨たらしくないかあるいはそれは知り合いらしいということはないかもしくは両方ともである」ということは事実と異なる
2. 事実8と仮定1から、推論1: "その吊り橋は上げ難い"が導かれる
3. 推論1と事実10から、推論2: "その地域モデルは義寂でないし起爆しない"が導かれる
4. 推論2と事実3から、推論3: "その地域モデルは荒っぽくない"が導かれる
5. 推論3と事実6から、推論4: "「その心臓全体は縮む一方でそれは末恐ろしいということはない」ということは成り立たない"が導かれる
6. 事実12から、推論5: "その心臓全体は縮む"が導かれる
7. 事実5と事実14から、推論6: "その心臓全体は末恐ろしくない"が導かれる
8. 推論5と推論6から、推論7: "その心臓全体は縮むがそれは末恐ろしくない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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