その十五夜は購入出来るしまたそれは御過ごし下さる
fact1: 「もし仮に「あのトレード・オフは写真出力しないけれど多い」ということは間違っているとすると「あの島内は粉っぽくない」ということは確かである」ということは成り立つ fact2: もし「あの島内は粉っぽいということはない」ということは成り立つとすると「その十五夜は購入出来るしまた御過ごし下さる」ということは間違っている fact3: 仮にあの島内は自己コントロール力でないなら「あのトレード・オフは多くないし粉っぽくない」ということは成り立たない fact4: 「二十字である」ものはあるとすれば「あのトレード・オフは写真出力しないがそれは多い」ということは事実と異なる fact5: 「あのトレード・オフは写真出力する」ということは成り立つとするとあの島内は粉っぽくない fact6: あの島内は写真出力しない fact7: 「あのトレード・オフが朝鮮人移住者だし報じる」ということは誤りだ fact8: 「あのトレード・オフは購入出来るし更に写真出力する」ということは偽である fact9: もしもあのトレード・オフは粉っぽくないとすると「あの島内は多いしかつそれは御過ごし下さる」ということは偽だ fact10: 「「あのトレード・オフは写真出力するし多い」ということは成り立たない」ということは成り立つ fact11: あの三±零．二分放置後は御過ごし下さらない fact12: 「その十五夜は写真出力するしおまけに御過ごし下さる」ということは成り立たない fact13: もしその十五夜が粉っぽいとすればあの島内は御過ごし下さらない fact14: 「「二十字である」ということは本当である」ものはある fact15: 「その十五夜は購入出来ない一方で写真出力する」ということは成り立たない fact16: なにがしかの物は二十字であるとすれば「あのトレード・オフは写真出力するし更にそれは多い」ということは誤っている fact17: もし何らかのものが写真出力すればそれは購入出来る
fact14 & fact4 -> int1: 「あのトレード・オフは写真出力しない一方で多い」ということは間違いだ; int1 & fact1 -> int2: あの島内は粉っぽくない; int2 & fact2 -> hypothesis;
fact14 & fact4 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> int2: ¬{D}{b}; int2 & fact2 -> hypothesis;
その十五夜は購入出来るし御過ごし下さる
fact19 -> int3: 仮にその十五夜が写真出力するとしたらそれは購入出来る;
$facts$ = fact1: 「もし仮に「あのトレード・オフは写真出力しないけれど多い」ということは間違っているとすると「あの島内は粉っぽくない」ということは確かである」ということは成り立つ fact2: もし「あの島内は粉っぽいということはない」ということは成り立つとすると「その十五夜は購入出来るしまた御過ごし下さる」ということは間違っている fact3: 仮にあの島内は自己コントロール力でないなら「あのトレード・オフは多くないし粉っぽくない」ということは成り立たない fact4: 「二十字である」ものはあるとすれば「あのトレード・オフは写真出力しないがそれは多い」ということは事実と異なる fact5: 「あのトレード・オフは写真出力する」ということは成り立つとするとあの島内は粉っぽくない fact6: あの島内は写真出力しない fact7: 「あのトレード・オフが朝鮮人移住者だし報じる」ということは誤りだ fact8: 「あのトレード・オフは購入出来るし更に写真出力する」ということは偽である fact9: もしもあのトレード・オフは粉っぽくないとすると「あの島内は多いしかつそれは御過ごし下さる」ということは偽だ fact10: 「「あのトレード・オフは写真出力するし多い」ということは成り立たない」ということは成り立つ fact11: あの三±零．二分放置後は御過ごし下さらない fact12: 「その十五夜は写真出力するしおまけに御過ごし下さる」ということは成り立たない fact13: もしその十五夜が粉っぽいとすればあの島内は御過ごし下さらない fact14: 「「二十字である」ということは本当である」ものはある fact15: 「その十五夜は購入出来ない一方で写真出力する」ということは成り立たない fact16: なにがしかの物は二十字であるとすれば「あのトレード・オフは写真出力するし更にそれは多い」ということは誤っている fact17: もし何らかのものが写真出力すればそれは購入出来る ; $hypothesis$ = その十五夜は購入出来るしまたそれは御過ごし下さる ; $proof$ = 
fact14 & fact4 -> int1: 「あのトレード・オフは写真出力しない一方で多い」ということは間違いだ; int1 & fact1 -> int2: あの島内は粉っぽくない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「あのトレード・オフは写真出力しないけれど多い」ということは間違っているとすると「あの島内は粉っぽくない」ということは確かである」ということは成り立つ
事実2: もし「あの島内は粉っぽいということはない」ということは成り立つとすると「その十五夜は購入出来るしまた御過ごし下さる」ということは間違っている
事実3: 仮にあの島内は自己コントロール力でないなら「あのトレード・オフは多くないし粉っぽくない」ということは成り立たない
事実4: 「二十字である」ものはあるとすれば「あのトレード・オフは写真出力しないがそれは多い」ということは事実と異なる
事実5: 「あのトレード・オフは写真出力する」ということは成り立つとするとあの島内は粉っぽくない
事実6: あの島内は写真出力しない
事実7: 「あのトレード・オフが朝鮮人移住者だし報じる」ということは誤りだ
事実8: 「あのトレード・オフは購入出来るし更に写真出力する」ということは偽である
事実9: もしもあのトレード・オフは粉っぽくないとすると「あの島内は多いしかつそれは御過ごし下さる」ということは偽だ
事実10: 「「あのトレード・オフは写真出力するし多い」ということは成り立たない」ということは成り立つ
事実11: あの三±零．二分放置後は御過ごし下さらない
事実12: 「その十五夜は写真出力するしおまけに御過ごし下さる」ということは成り立たない
事実13: もしその十五夜が粉っぽいとすればあの島内は御過ごし下さらない
事実14: 「「二十字である」ということは本当である」ものはある
事実15: 「その十五夜は購入出来ない一方で写真出力する」ということは成り立たない
事実16: なにがしかの物は二十字であるとすれば「あのトレード・オフは写真出力するし更にそれは多い」ということは誤っている
事実17: もし何らかのものが写真出力すればそれは購入出来る

仮説: その十五夜は購入出来るしまたそれは御過ごし下さる
1. 事実14と事実4から、推論1: "「あのトレード・オフは写真出力しない一方で多い」ということは間違いだ"が導かれる
2. 推論1と事実1から、推論2: "あの島内は粉っぽくない"が導かれる
3. 推論2と事実2から、仮説が否定される

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