「この神々はフランス人らしいし反ナチである」ということは偽である
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: 仮にとあるものは二十日夜でないとすると「それはフランス人らしいしおまけに反ナチである」ということは誤っている
fact1 & fact3 -> int1: その被害防止は姫さんであるということはなくてかつ払い込みでない; fact9 -> int2: もしその被害防止が姫さんでないし払い込みだということはないとしたらそれは読み返す; int1 & int2 -> int3: 「その被害防止は読み返す」ということは確かである; int3 & fact7 -> int4: あの良造達は緩くなくてその上温存しない; int4 & fact18 -> int5: この神々はフランス人らしい; fact22 & fact23 -> int6: この神々は反ナチであるし更にそれは黒っぽい; int6 -> int7: この神々は反ナチである; int5 & int7 -> hypothesis;
「この神々はフランス人らしいし反ナチである」ということは成り立たない
fact28 -> int8: もしこの神々は二十日夜でないならば「フランス人らしいしその上反ナチである」ということは誤っている; fact26 -> int9: もしもこの神々が緩いとすればそれは読み返すしそれにそれは二十日夜でない;
$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$ = 
fact1 & fact3 -> int1: その被害防止は姫さんであるということはなくてかつ払い込みでない; fact9 -> int2: もしその被害防止が姫さんでないし払い込みだということはないとしたらそれは読み返す; int1 & int2 -> int3: 「その被害防止は読み返す」ということは確かである; int3 & fact7 -> int4: あの良造達は緩くなくてその上温存しない; int4 & fact18 -> int5: この神々はフランス人らしい; fact22 & fact23 -> int6: この神々は反ナチであるし更にそれは黒っぽい; int6 -> int7: この神々は反ナチである; int5 & int7 -> 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. 事実1と事実3から、推論1: "その被害防止は姫さんであるということはなくてかつ払い込みでない"が導かれる
2. 事実9から、推論2: "もしその被害防止が姫さんでないし払い込みだということはないとしたらそれは読み返す"が導かれる
3. 推論1と推論2から、推論3: "「その被害防止は読み返す」ということは確かである"が導かれる
4. 推論3と事実7から、推論4: "あの良造達は緩くなくてその上温存しない"が導かれる
5. 推論4と事実18から、推論5: "この神々はフランス人らしい"が導かれる
6. 事実22と事実23から、推論6: "この神々は反ナチであるし更にそれは黒っぽい"が導かれる
7. 推論6から、推論7: "この神々は反ナチである"が導かれる
8. 推論5と推論7から、仮説が否定される

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