そのシーフードレストランは輝き続けないしおまけに出難くない
fact1: あの造影後期相は倒れないとすると「そのシーフードレストランは輝き続けるということはないしかつ出難いということはない」ということは成り立たない fact2: 仮に「そのＦＫは抉り抜かない」ということは確かであるならば「それは倒れるしさらに鎧う」ということは成り立たない fact3: もし仮になにがしかの物は解剖時であるとしたら「それは生き直すしそれは恐ろしくない」ということは成り立たない fact4: もし「あるものは生き直すけれど恐ろしいということはない」ということは偽であるとすると出難くない fact5: 「もし「「あの希望的観測は拙いし加えてそれはフィニッシュする」ということは事実と異なる」ということは本当ならその相対的記載事項は生き直さない」ということは成り立つ fact6: 「あの希望的観測はフィニッシュするけれど生き直さない」ということは成り立たない fact7: もしあるものは鎧わないとすると「渋くないしかつ参照下さるということはない」ということは本当でない fact8: もし仮にその相対的記載事項は生き直さないならば「そのＦＫは生き直すけど参照下さらない」ということは嘘である fact9: あの希望的観測が拙くないとするとその相対的記載事項は生き直さない fact10: あらゆる物は解剖時である fact11: もし「あるものは生き直すけれど参照下さらない」ということは成り立たないならばそれは恐ろしくない fact12: もし仮になんらかの物は鎧わないならば「それは倒れるということはない」ということは事実だ fact13: もし何らかのものが生き直さないならば恐ろしくない fact14: 仮にそのＦＫが恐ろしくないとするとあの造影後期相は鎧わないしまた渋くない fact15: もし「そのＦＫは渋くないしその上参照下さらない」ということは成り立たないとすると「そのシーフードレストランは輝き続けるということはない」ということは確かだ fact16: それは拙くてかつフィニッシュするという物はない
fact16 -> int1: 「あの希望的観測は拙くてそれはフィニッシュする」ということは嘘だ; int1 & fact5 -> int2: その相対的記載事項は生き直さない; int2 & fact8 -> int3: 「そのＦＫは生き直す一方でそれは参照下さらない」ということは成り立たない; fact11 -> int4: 仮に「「そのＦＫは生き直すがしかし参照下さらない」ということは正しい」ということは成り立たないならば恐ろしくない; int3 & int4 -> int5: そのＦＫは恐ろしくない; int5 & fact14 -> int6: あの造影後期相は鎧わないしさらに渋くない; int6 -> int7: あの造影後期相は鎧わない; fact12 -> int8: あの造影後期相が鎧わないとしたら倒れるということはない; int7 & int8 -> int9: あの造影後期相は倒れない; int9 & fact1 -> hypothesis;
そのシーフードレストランは輝き続けないしそれに出難くない
fact18 -> int10: 「仮に「そのシーフードレストランは生き直すがしかし恐ろしいということはない」ということは嘘であるならばそのシーフードレストランは出難くない」ということは真実だ; fact22 -> int11: もし仮にその相対的記載事項は解剖時だとしたら「生き直すし加えてそれは恐ろしくない」ということは成り立たない; fact21 -> int12: その相対的記載事項は解剖時である; int11 & int12 -> int13: 「その相対的記載事項は生き直す一方で恐ろしくない」ということは成り立たない; int13 -> int14: それは生き直すしおまけにそれは恐ろしくないという物はない; int14 -> int15: 「そのシーフードレストランは生き直すけどそれは恐ろしくない」ということは確かでない; int10 & int15 -> int16: そのシーフードレストランは出難くない; fact20 -> int17: もしもそのＦＫは鎧わないとすれば「渋くないし更にそれは参照下さらない」ということは事実と異なる;
$facts$ = fact1: あの造影後期相は倒れないとすると「そのシーフードレストランは輝き続けるということはないしかつ出難いということはない」ということは成り立たない fact2: 仮に「そのＦＫは抉り抜かない」ということは確かであるならば「それは倒れるしさらに鎧う」ということは成り立たない fact3: もし仮になにがしかの物は解剖時であるとしたら「それは生き直すしそれは恐ろしくない」ということは成り立たない fact4: もし「あるものは生き直すけれど恐ろしいということはない」ということは偽であるとすると出難くない fact5: 「もし「「あの希望的観測は拙いし加えてそれはフィニッシュする」ということは事実と異なる」ということは本当ならその相対的記載事項は生き直さない」ということは成り立つ fact6: 「あの希望的観測はフィニッシュするけれど生き直さない」ということは成り立たない fact7: もしあるものは鎧わないとすると「渋くないしかつ参照下さるということはない」ということは本当でない fact8: もし仮にその相対的記載事項は生き直さないならば「そのＦＫは生き直すけど参照下さらない」ということは嘘である fact9: あの希望的観測が拙くないとするとその相対的記載事項は生き直さない fact10: あらゆる物は解剖時である fact11: もし「あるものは生き直すけれど参照下さらない」ということは成り立たないならばそれは恐ろしくない fact12: もし仮になんらかの物は鎧わないならば「それは倒れるということはない」ということは事実だ fact13: もし何らかのものが生き直さないならば恐ろしくない fact14: 仮にそのＦＫが恐ろしくないとするとあの造影後期相は鎧わないしまた渋くない fact15: もし「そのＦＫは渋くないしその上参照下さらない」ということは成り立たないとすると「そのシーフードレストランは輝き続けるということはない」ということは確かだ fact16: それは拙くてかつフィニッシュするという物はない ; $hypothesis$ = そのシーフードレストランは輝き続けないしおまけに出難くない ; $proof$ = 
fact16 -> int1: 「あの希望的観測は拙くてそれはフィニッシュする」ということは嘘だ; int1 & fact5 -> int2: その相対的記載事項は生き直さない; int2 & fact8 -> int3: 「そのＦＫは生き直す一方でそれは参照下さらない」ということは成り立たない; fact11 -> int4: 仮に「「そのＦＫは生き直すがしかし参照下さらない」ということは正しい」ということは成り立たないならば恐ろしくない; int3 & int4 -> int5: そのＦＫは恐ろしくない; int5 & fact14 -> int6: あの造影後期相は鎧わないしさらに渋くない; int6 -> int7: あの造影後期相は鎧わない; fact12 -> int8: あの造影後期相が鎧わないとしたら倒れるということはない; int7 & int8 -> int9: あの造影後期相は倒れない; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: あの造影後期相は倒れないとすると「そのシーフードレストランは輝き続けるということはないしかつ出難いということはない」ということは成り立たない
事実2: 仮に「そのＦＫは抉り抜かない」ということは確かであるならば「それは倒れるしさらに鎧う」ということは成り立たない
事実3: もし仮になにがしかの物は解剖時であるとしたら「それは生き直すしそれは恐ろしくない」ということは成り立たない
事実4: もし「あるものは生き直すけれど恐ろしいということはない」ということは偽であるとすると出難くない
事実5: 「もし「「あの希望的観測は拙いし加えてそれはフィニッシュする」ということは事実と異なる」ということは本当ならその相対的記載事項は生き直さない」ということは成り立つ
事実6: 「あの希望的観測はフィニッシュするけれど生き直さない」ということは成り立たない
事実7: もしあるものは鎧わないとすると「渋くないしかつ参照下さるということはない」ということは本当でない
事実8: もし仮にその相対的記載事項は生き直さないならば「そのＦＫは生き直すけど参照下さらない」ということは嘘である
事実9: あの希望的観測が拙くないとするとその相対的記載事項は生き直さない
事実10: あらゆる物は解剖時である
事実11: もし「あるものは生き直すけれど参照下さらない」ということは成り立たないならばそれは恐ろしくない
事実12: もし仮になんらかの物は鎧わないならば「それは倒れるということはない」ということは事実だ
事実13: もし何らかのものが生き直さないならば恐ろしくない
事実14: 仮にそのＦＫが恐ろしくないとするとあの造影後期相は鎧わないしまた渋くない
事実15: もし「そのＦＫは渋くないしその上参照下さらない」ということは成り立たないとすると「そのシーフードレストランは輝き続けるということはない」ということは確かだ
事実16: それは拙くてかつフィニッシュするという物はない

仮説: そのシーフードレストランは輝き続けないしおまけに出難くない
1. 事実16から、推論1: "「あの希望的観測は拙くてそれはフィニッシュする」ということは嘘だ"が導かれる
2. 推論1と事実5から、推論2: "その相対的記載事項は生き直さない"が導かれる
3. 推論2と事実8から、推論3: "「そのＦＫは生き直す一方でそれは参照下さらない」ということは成り立たない"が導かれる
4. 事実11から、推論4: "仮に「「そのＦＫは生き直すがしかし参照下さらない」ということは正しい」ということは成り立たないならば恐ろしくない"が導かれる
5. 推論3と推論4から、推論5: "そのＦＫは恐ろしくない"が導かれる
6. 推論5と事実14から、推論6: "あの造影後期相は鎧わないしさらに渋くない"が導かれる
7. 推論6から、推論7: "あの造影後期相は鎧わない"が導かれる
8. 事実12から、推論8: "あの造影後期相が鎧わないとしたら倒れるということはない"が導かれる
9. 推論7と推論8から、推論9: "あの造影後期相は倒れない"が導かれる
10. 推論9と事実1から、仮説が否定される

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