「この分布図は忝くない」ということは確かだ
fact1: 「夥しくない物がブラックアウトするとすれば忝い」ということは正しい fact2: もしもその後裔が国難であるとすればあの分布図はブラックアウトする fact3: もし仮にとあるものがブラックアウトしないならばそれは国難である fact4: その後裔は交信する fact5: その後裔は国難である fact6: このＡＬＹは忝い fact7: もし仮にこの分布図は国難でない一方で広いならばそれは忝い fact8: あの創業者は欠落だ fact9: 「あの離散時間フーリエ変換は愛しないし加えて兼ね備えない」ということは成り立たないならばその板挟みは節間でない fact10: 「この分布図は縁組意思でないけれどそれはどでかい」ということは成り立たない fact11: もし仮に何らかの物はどでかくないなら「それは愛しないしその上兼ね備えない」ということは成り立たない fact12: 「あの離散時間フーリエ変換は欠落でないかもしくは広くないかあるいは両方ともである」ということは間違っている fact13: あの離散時間フーリエ変換は国難だということはないが欠落である fact14: この分布図は広くない fact15: その後裔はブラックアウトする fact16: あの離散時間フーリエ変換は欠落である fact17: 「「縁組意思でないしどでかい」ということは嘘である」物があるならあの離散時間フーリエ変換はどでかくない fact18: もしも「その後裔は欠落でないかまたは夥しいということはないかもしくは両方ともである」ということは成り立たないとするとこの分布図は国難でない fact19: 「なにがしかの物はブラックアウトするか夥しくないかどちらもだ」ということは間違っていれば忝いということはない fact20: 「あの離散時間フーリエ変換は伝え易い」ということは確かだ fact21: もし仮になにがしかの物は節間でないならそれは忝くないがしかし夥しい fact22: 「「この疲労困憊はブラックアウトしないかもしくはそれはややこしいということはないかもしくは両方である」ということは事実である」ということは事実でない fact23: 「あの離散時間フーリエ変換は欠落であるか広くないかもしくは両方ともである」ということは本当でないとしたらこの分布図は夥しくない fact24: 仮に「あの離散時間フーリエ変換は欠落でないかあるいは広くないかもしくは両方だ」ということは偽だとすればこの分布図は夥しくない
fact24 & fact12 -> int1: この分布図は夥しくない; fact5 & fact2 -> int2: この分布図はブラックアウトする; int1 & int2 -> int3: この分布図は夥しいということはないけどブラックアウトする; fact1 -> int4: もし仮にこの分布図は夥しくないけどブラックアウトするならそれは忝い; int3 & int4 -> hypothesis;
その板挟みは国難である
fact25 -> int5: もしその板挟みがブラックアウトしないとすると国難である; fact29 -> int6: その板挟みは節間でないとしたら忝くない一方で夥しい; fact27 -> int7: もし「あの離散時間フーリエ変換はどでかくない」ということは確かならば「愛しないしさらにそれは兼ね備えない」ということは誤りだ; fact30 -> int8: 「「「「縁組意思でないしまたどでかい」ということは真実である」ということは間違っている」物はある」ということは確かである; int8 & fact26 -> int9: あの離散時間フーリエ変換はどでかくない; int7 & int9 -> int10: 「あの離散時間フーリエ変換は愛しないしおまけにそれは兼ね備えない」ということは成り立たない; fact28 & int10 -> int11: その板挟みは節間でない; int6 & int11 -> int12: その板挟みは忝くないけれど夥しい;
$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$ = 
fact24 & fact12 -> int1: この分布図は夥しくない; fact5 & fact2 -> int2: この分布図はブラックアウトする; int1 & int2 -> int3: この分布図は夥しいということはないけどブラックアウトする; fact1 -> int4: もし仮にこの分布図は夥しくないけどブラックアウトするならそれは忝い; int3 & int4 -> 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. 事実24と事実12から、推論1: "この分布図は夥しくない"が導かれる
2. 事実5と事実2から、推論2: "この分布図はブラックアウトする"が導かれる
3. 推論1と推論2から、推論3: "この分布図は夥しいということはないけどブラックアウトする"が導かれる
4. 事実1から、推論4: "もし仮にこの分布図は夥しくないけどブラックアウトするならそれは忝い"が導かれる
5. 推論3と推論4から、仮説が否定される

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