「このワンシーンは冬らしいがしかし第十八図であるということはない」ということは嘘である
fact1: もしもあの御白神が冬らしくないとしたらこのワンシーンは冬らしいけどそれは第十八図でない fact2: この都市景観は仕返ししない fact3: 仮にとある物が重力加速度でないならあのシアン版は課業条件でないかもしくは重力加速度でないかもしくは両方ともである fact4: もし「その糖尿病性腎不全患者は改姓しない」ということは真実なら「「このワンシーンは仕返しするし冬らしい」ということは正しい」ということは誤りである fact5: このワンシーンが課業条件だけど晴々しかないならそれは二十世紀初めだということはない fact6: このワンシーンは期間内でない fact7: もし仮にその糖尿病性腎不全患者が二十世紀初めならこのワンシーンは二十世紀初めだ fact8: もしもあのシアン版が課業条件であるということはないならばあの御白神は課業条件だ fact9: もし「なにかは改姓する一方で偏位しない」ということは間違いならばそれは冬らしくない fact10: もしも「あの御白神は冬らしくない」ということは事実ならばあの糖尿病性腎不全患者は冬らしいがしかし仕返しするということはない fact11: もし仮になんらかのものは仕返ししないとすれば「それは冬らしいしかつそれは第十八図でない」ということは間違っている fact12: 仮にあの御白神が冬らしいとすれば仕返ししない fact13: 晴々しかない物は重力加速度でない fact14: その地域活動は冬らしいけど憎いということはない fact15: もし仮にあの厄介者は吊り易いならば「それは四ＰＭでない」ということは本当である fact16: もしもあの御白神は仕返ししないなら「このワンシーンは偏位するし第十八図である」ということは成り立つということはない fact17: もしその糖尿病性腎不全患者は仕返しするということはないなら「あの御白神は改姓する一方で偏位しない」ということは嘘だ fact18: あの厄介者が吊り易いしその上それは女の子らしい fact19: その糖尿病性腎不全患者は仕返ししない fact20: もしもあの御白神が課業条件であるとすればその糖尿病性腎不全患者は二十世紀初めである fact21: 仮にあの御白神が冬らしくないとするとこのワンシーンは第十八図でない fact22: あの御白神が改姓するということはないならばあの糖尿病性腎不全患者は改姓するけれどそれは偏位しない fact23: 二十世紀初めは同化分別結晶作用で更に仕返しするということはない fact24: 「あの御白神はポンド相場でない」ということは成り立つ fact25: もしもなんらかのものが四ＰＭでないとすればそれは晴々しかないししかもそれは挟み付ける
fact17 & fact19 -> int1: 「あの御白神は改姓するけど偏位しない」ということは誤りである; fact9 -> int2: もし仮に「あの御白神は改姓するがしかし偏位しない」ということは間違いだとしたら冬らしくない; int1 & int2 -> int3: あの御白神は冬らしいということはない; int3 & fact1 -> hypothesis;
「このワンシーンは冬らしいが第十八図でない」ということは成り立たない
fact31 -> int4: このワンシーンは仕返しするということはないとしたら「それは冬らしいしそれにそれは第十八図でない」ということは誤っている; fact30 -> int5: もしこのワンシーンが二十世紀初めなら同化分別結晶作用だがしかし仕返ししない; fact33 -> int6: 仮にあの厄介者が晴々しいということはないならそれは重力加速度であるということはない; fact28 -> int7: あの厄介者は四ＰＭでないならば晴々しかないけれど挟み付ける; fact34 -> int8: あの厄介者は吊り易い; fact26 & int8 -> int9: あの厄介者は四ＰＭでない; int7 & int9 -> int10: あの厄介者は晴々しかない一方で挟み付ける; int10 -> int11: あの厄介者は晴々しかない; int6 & int11 -> int12: あの厄介者は重力加速度であるということはない; int12 -> int13: 何らかの物は重力加速度でない; int13 & fact32 -> int14: あのシアン版は課業条件でないかもしくは重力加速度でない;
$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: 「あの御白神はポンド相場でない」ということは成り立つ fact25: もしもなんらかのものが四ＰＭでないとすればそれは晴々しかないししかもそれは挟み付ける ; $hypothesis$ = 「このワンシーンは冬らしいがしかし第十八図であるということはない」ということは嘘である ; $proof$ = 
fact17 & fact19 -> int1: 「あの御白神は改姓するけど偏位しない」ということは誤りである; fact9 -> int2: もし仮に「あの御白神は改姓するがしかし偏位しない」ということは間違いだとしたら冬らしくない; int1 & int2 -> int3: あの御白神は冬らしいということはない; int3 & fact1 -> 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: 「あの御白神はポンド相場でない」ということは成り立つ
事実25: もしもなんらかのものが四ＰＭでないとすればそれは晴々しかないししかもそれは挟み付ける

仮説: 「このワンシーンは冬らしいがしかし第十八図であるということはない」ということは嘘である
1. 事実17と事実19から、推論1: "「あの御白神は改姓するけど偏位しない」ということは誤りである"が導かれる
2. 事実9から、推論2: "もし仮に「あの御白神は改姓するがしかし偏位しない」ということは間違いだとしたら冬らしくない"が導かれる
3. 推論1と推論2から、推論3: "あの御白神は冬らしいということはない"が導かれる
4. 推論3と事実1から、仮説が否定される

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