「なんらかのものは町史であるしかつ悲しい」ということは嘘だ
fact1: もし仮に「「この大極殿院はフラボノイドであるが羨ましくない」ということは事実である」ということは事実と異なるとするとこのトラウベは悲しい fact2: このトラウベは堅苦しい fact3: もし仮に「このトラウベは堅苦しいけど町史でない」ということは偽だとすると吸入する fact4: 「この繁盛地は受け入れられ易いけれどそれは堅苦しくない」ということは誤りならば入り易い fact5: 仮に「この大極殿院はフラボノイドだけど入り易くない」ということは成り立つということはないならば「それは悲しい」ということは真実だ fact6: 何かは悲しい fact7: 「この繁盛地は受け入れられ易いがしかし堅苦しくない」ということは誤りだ fact8: もしも「この大極殿院は受け入れられ易いがしかし証券化しない」ということは成り立たないならばそれはフラボノイドである fact9: この告知等は町史である fact10: この大極殿院は証券化するということはない fact11: 何らかの物は入り易いしそれに堅苦しい fact12: この繁盛地は三パーセント以内だ fact13: 仮に「この大極殿院は証券化しない」ということは成り立つとすれば「フラボノイドであるしその上それは羨ましいということはない」ということは成り立たない fact14: その十参照は中枢神経系でない fact15: 仮にその十参照が中枢神経系でないとするとこの告知等は高司祭であるしさらに三パーセント以内だ fact16: もし仮にこの繁盛地が吸入するということはないならばこのトラウベは町史だ fact17: 「この繁盛地は受け入れられ易くてさらに町史だ」ということは真実だ fact18: その十参照は吸入しない fact19: 「この大極殿院は悲しいけれど証券化しない」ということは間違っている fact20: この繁盛地が入り易いしかつ吸入するとすればこの告知等は高司祭でない
fact4 & fact7 -> int1: この繁盛地は入り易い; void -> assump1: 以下のように仮定する。「この繁盛地は吸入する」ということは正しい; int1 & assump1 -> int2: この繁盛地は入り易くてそれは吸入する; int2 & fact20 -> int3: この告知等は高司祭でない; fact14 & fact15 -> int4: この告知等は高司祭であるしさらに三パーセント以内である; int4 -> int5: この告知等は高司祭だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この繁盛地は吸入するということはない; int7 & fact16 -> int8: このトラウベは町史だ; fact10 & fact13 -> int9: 「「この大極殿院はフラボノイドだがしかしそれは羨ましくない」ということは事実である」ということは間違いである; fact1 & int9 -> int10: このトラウベは悲しい; int8 & int10 -> int11: このトラウベが町史だしそれは悲しい; int11 -> hypothesis;
$facts$ = fact1: もし仮に「「この大極殿院はフラボノイドであるが羨ましくない」ということは事実である」ということは事実と異なるとするとこのトラウベは悲しい fact2: このトラウベは堅苦しい fact3: もし仮に「このトラウベは堅苦しいけど町史でない」ということは偽だとすると吸入する fact4: 「この繁盛地は受け入れられ易いけれどそれは堅苦しくない」ということは誤りならば入り易い fact5: 仮に「この大極殿院はフラボノイドだけど入り易くない」ということは成り立つということはないならば「それは悲しい」ということは真実だ fact6: 何かは悲しい fact7: 「この繁盛地は受け入れられ易いがしかし堅苦しくない」ということは誤りだ fact8: もしも「この大極殿院は受け入れられ易いがしかし証券化しない」ということは成り立たないならばそれはフラボノイドである fact9: この告知等は町史である fact10: この大極殿院は証券化するということはない fact11: 何らかの物は入り易いしそれに堅苦しい fact12: この繁盛地は三パーセント以内だ fact13: 仮に「この大極殿院は証券化しない」ということは成り立つとすれば「フラボノイドであるしその上それは羨ましいということはない」ということは成り立たない fact14: その十参照は中枢神経系でない fact15: 仮にその十参照が中枢神経系でないとするとこの告知等は高司祭であるしさらに三パーセント以内だ fact16: もし仮にこの繁盛地が吸入するということはないならばこのトラウベは町史だ fact17: 「この繁盛地は受け入れられ易くてさらに町史だ」ということは真実だ fact18: その十参照は吸入しない fact19: 「この大極殿院は悲しいけれど証券化しない」ということは間違っている fact20: この繁盛地が入り易いしかつ吸入するとすればこの告知等は高司祭でない ; $hypothesis$ = 「なんらかのものは町史であるしかつ悲しい」ということは嘘だ ; $proof$ = 
fact4 & fact7 -> int1: この繁盛地は入り易い; void -> assump1: 以下のように仮定する。「この繁盛地は吸入する」ということは正しい; int1 & assump1 -> int2: この繁盛地は入り易くてそれは吸入する; int2 & fact20 -> int3: この告知等は高司祭でない; fact14 & fact15 -> int4: この告知等は高司祭であるしさらに三パーセント以内である; int4 -> int5: この告知等は高司祭だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この繁盛地は吸入するということはない; int7 & fact16 -> int8: このトラウベは町史だ; fact10 & fact13 -> int9: 「「この大極殿院はフラボノイドだがしかしそれは羨ましくない」ということは事実である」ということは間違いである; fact1 & int9 -> int10: このトラウベは悲しい; int8 & int10 -> int11: このトラウベが町史だしそれは悲しい; int11 -> hypothesis; __DISPROVED__
事実1: もし仮に「「この大極殿院はフラボノイドであるが羨ましくない」ということは事実である」ということは事実と異なるとするとこのトラウベは悲しい
事実2: このトラウベは堅苦しい
事実3: もし仮に「このトラウベは堅苦しいけど町史でない」ということは偽だとすると吸入する
事実4: 「この繁盛地は受け入れられ易いけれどそれは堅苦しくない」ということは誤りならば入り易い
事実5: 仮に「この大極殿院はフラボノイドだけど入り易くない」ということは成り立つということはないならば「それは悲しい」ということは真実だ
事実6: 何かは悲しい
事実7: 「この繁盛地は受け入れられ易いがしかし堅苦しくない」ということは誤りだ
事実8: もしも「この大極殿院は受け入れられ易いがしかし証券化しない」ということは成り立たないならばそれはフラボノイドである
事実9: この告知等は町史である
事実10: この大極殿院は証券化するということはない
事実11: 何らかの物は入り易いしそれに堅苦しい
事実12: この繁盛地は三パーセント以内だ
事実13: 仮に「この大極殿院は証券化しない」ということは成り立つとすれば「フラボノイドであるしその上それは羨ましいということはない」ということは成り立たない
事実14: その十参照は中枢神経系でない
事実15: 仮にその十参照が中枢神経系でないとするとこの告知等は高司祭であるしさらに三パーセント以内だ
事実16: もし仮にこの繁盛地が吸入するということはないならばこのトラウベは町史だ
事実17: 「この繁盛地は受け入れられ易くてさらに町史だ」ということは真実だ
事実18: その十参照は吸入しない
事実19: 「この大極殿院は悲しいけれど証券化しない」ということは間違っている
事実20: この繁盛地が入り易いしかつ吸入するとすればこの告知等は高司祭でない

仮説: 「なんらかのものは町史であるしかつ悲しい」ということは嘘だ
1. 事実4と事実7から、推論1: "この繁盛地は入り易い"が導かれる
2. 仮定1: 以下のように仮定する。「この繁盛地は吸入する」ということは正しい
3. 推論1と仮定1から、推論2: "この繁盛地は入り易くてそれは吸入する"が導かれる
4. 推論2と事実20から、推論3: "この告知等は高司祭でない"が導かれる
5. 事実14と事実15から、推論4: "この告知等は高司祭であるしさらに三パーセント以内である"が導かれる
6. 推論4から、推論5: "この告知等は高司祭だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この繁盛地は吸入するということはない"が導かれる
9. 推論7と事実16から、推論8: "このトラウベは町史だ"が導かれる
10. 事実10と事実13から、推論9: "「「この大極殿院はフラボノイドだがしかしそれは羨ましくない」ということは事実である」ということは間違いである"が導かれる
11. 事実1と推論9から、推論10: "このトラウベは悲しい"が導かれる
12. 推論8と推論10から、推論11: "このトラウベが町史だしそれは悲しい"が導かれる
13. 推論11から、仮説が否定される

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