「その都市大衆は公布・施行しないかあるいはきもいかあるいは両方ともだ」ということは嘘だ
fact1: 仮に「「この重罪は物凄まじくなくてしかも浸さない」ということは成り立つ」ということは間違っているとすればあの風当たりは物凄まじい fact2: 物凄まじい物は御見掛けする fact3: もし仮にその都市大衆は予測し難くないならば公布・施行しないかまたはきもいかもしくは両方だ fact4: その都市大衆は公布・施行するということはないかあるいはむさくるしいか両方ともだ fact5: なにがしかのものは傷害するとすると「総合調整でない一方で連結する」ということは偽だ fact6: その決算情報はきもくない fact7: その都市大衆は予測し難いということはない fact8: もし仮になにがしかのものは予測し難いとしたら「それは公布・施行しないかもしくはそれはきもいかまたは両方である」ということは成り立たない fact9: もしもその都市大衆が手術日でないならばそれは公布・施行しないかもしくは懐かしかあるいは両方だ fact10: もしもなんらかのものは和平条約でないなら「物凄まじくないし浸さない」ということは成り立たない fact11: あの二紋はきもいということはない fact12: すべては傷害する fact13: その都市大衆は操作出来ない fact14: もしもその都市大衆が予測し難くないならそれは公布・施行するかそれはきもいかまたはどちらもだ fact15: その都市大衆は公布・施行するかもしくはそれはきもいかまたは両方である fact16: その都市大衆は堪り易くないかきもいかあるいは両方ともである fact17: もしも「なにがしかの物は総合調整でないけれどそれは連結する」ということは間違いであるとすれば和平条約でない fact18: このマイピクチャは出易くないか白し
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
「その都市大衆は公布・施行するということはないかもしくはそれはきもいかもしくは両方だ」ということは本当でない
fact23 -> int1: もしもその都市大衆は予測し難いとしたら「公布・施行しないかまたはきもいかあるいはどちらもだ」ということは成り立たない; fact21 -> int2: その牽制効果は傷害する; fact20 -> int3: その牽制効果は傷害するなら「総合調整でないしそれは連結する」ということは真実でない; int2 & int3 -> int4: 「その牽制効果は総合調整でないけれど連結する」ということは嘘である; int4 -> int5: それは総合調整だということはない一方で連結するという物はない; int5 -> int6: 「この重罪は総合調整でないけれど連結する」ということは間違いだ; fact24 -> int7: 仮に「この重罪は総合調整でない一方で連結する」ということは間違っているならそれは和平条約でない; int6 & int7 -> int8: 「この重罪は和平条約でない」ということは確かである; fact19 -> int9: 仮にこの重罪は和平条約でないなら「それは物凄まじくないし更に浸さない」ということは間違っている; int8 & int9 -> int10: 「この重罪は物凄まじくなくてその上浸すということはない」ということは間違っている; int10 & fact22 -> int11: その風当たりは物凄まじい;
$facts$ = fact1: 仮に「「この重罪は物凄まじくなくてしかも浸さない」ということは成り立つ」ということは間違っているとすればあの風当たりは物凄まじい fact2: 物凄まじい物は御見掛けする fact3: もし仮にその都市大衆は予測し難くないならば公布・施行しないかまたはきもいかもしくは両方だ fact4: その都市大衆は公布・施行するということはないかあるいはむさくるしいか両方ともだ fact5: なにがしかのものは傷害するとすると「総合調整でない一方で連結する」ということは偽だ fact6: その決算情報はきもくない fact7: その都市大衆は予測し難いということはない fact8: もし仮になにがしかのものは予測し難いとしたら「それは公布・施行しないかもしくはそれはきもいかまたは両方である」ということは成り立たない fact9: もしもその都市大衆が手術日でないならばそれは公布・施行しないかもしくは懐かしかあるいは両方だ fact10: もしもなんらかのものは和平条約でないなら「物凄まじくないし浸さない」ということは成り立たない fact11: あの二紋はきもいということはない fact12: すべては傷害する fact13: その都市大衆は操作出来ない fact14: もしもその都市大衆が予測し難くないならそれは公布・施行するかそれはきもいかまたはどちらもだ fact15: その都市大衆は公布・施行するかもしくはそれはきもいかまたは両方である fact16: その都市大衆は堪り易くないかきもいかあるいは両方ともである fact17: もしも「なにがしかの物は総合調整でないけれどそれは連結する」ということは間違いであるとすれば和平条約でない fact18: このマイピクチャは出易くないか白し ; $hypothesis$ = 「その都市大衆は公布・施行しないかあるいはきもいかあるいは両方ともだ」ということは嘘だ ; $proof$ = 
fact3 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「「この重罪は物凄まじくなくてしかも浸さない」ということは成り立つ」ということは間違っているとすればあの風当たりは物凄まじい
事実2: 物凄まじい物は御見掛けする
事実3: もし仮にその都市大衆は予測し難くないならば公布・施行しないかまたはきもいかもしくは両方だ
事実4: その都市大衆は公布・施行するということはないかあるいはむさくるしいか両方ともだ
事実5: なにがしかのものは傷害するとすると「総合調整でない一方で連結する」ということは偽だ
事実6: その決算情報はきもくない
事実7: その都市大衆は予測し難いということはない
事実8: もし仮になにがしかのものは予測し難いとしたら「それは公布・施行しないかもしくはそれはきもいかまたは両方である」ということは成り立たない
事実9: もしもその都市大衆が手術日でないならばそれは公布・施行しないかもしくは懐かしかあるいは両方だ
事実10: もしもなんらかのものは和平条約でないなら「物凄まじくないし浸さない」ということは成り立たない
事実11: あの二紋はきもいということはない
事実12: すべては傷害する
事実13: その都市大衆は操作出来ない
事実14: もしもその都市大衆が予測し難くないならそれは公布・施行するかそれはきもいかまたはどちらもだ
事実15: その都市大衆は公布・施行するかもしくはそれはきもいかまたは両方である
事実16: その都市大衆は堪り易くないかきもいかあるいは両方ともである
事実17: もしも「なにがしかの物は総合調整でないけれどそれは連結する」ということは間違いであるとすれば和平条約でない
事実18: このマイピクチャは出易くないか白し

仮説: 「その都市大衆は公布・施行しないかあるいはきもいかあるいは両方ともだ」ということは嘘だ
1. 事実3と事実7から、仮説が否定される

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