あのタイムウィルテルは共同主観的構造である
fact1: 荒々しくない物は日本人らしくない fact2: 付け入らないしさらにそれは決め難くないというものはない fact3: もしもその鼻根部がポートフォリオ全体でないし更に荒々しくないとしたらこの古代世界は荒々しいということはない fact4: なにかは励行するしさらにそれはロシア革である fact5: もしも日本人らしいということはないものが異端者だとしたらあのタイムウィルテルは共同主観的構造であるということはない fact6: 仮に「この地方公共団体は許し難くなくて公開出来ない」ということは偽であるとするとその乗客・乗員は心中しない fact7: 許し難いということはないししかも公開出来ないというものはない fact8: 「ロシア革だし口出しす」物はある fact9: その鼻根部はポートフォリオ全体でなくて荒々しくない fact10: もしも「あるものは心中するということはないか物価リポートでないかあるいは両方である」ということは成り立たないとしたらそれは異端者だ fact11: もし仮にその乗客・乗員は心中しないなら「この古代世界は心中しないかあるいはそれは物価リポートであるということはないかまたは両方ともである」ということは間違いだ
fact7 -> int1: 「この地方公共団体は許し難いということはないしまたそれは公開出来ない」ということは成り立たない; int1 & fact6 -> int2: その乗客・乗員は心中しない; int2 & fact11 -> int3: 「この古代世界は心中しないか物価リポートでないかまたは両方ともだ」ということは偽である; fact10 -> int4: もしも「「この古代世界は心中するということはないかもしくは物価リポートだということはないかもしくは両方だ」ということは嘘である」ということは誤りでないとすればそれは異端者である; int3 & int4 -> int5: この古代世界は異端者である; fact9 & fact3 -> int6: 「この古代世界は荒々しくない」ということは本当である; fact1 -> int7: もし仮にこの古代世界が荒々しくないとしたらそれは日本人らしくない; int6 & int7 -> int8: この古代世界は日本人らしくない; int5 & int8 -> int9: この古代世界は日本人らしくない一方で異端者である; int9 -> int10: とあるものは日本人らしくないけれどそれは異端者である; int10 & fact5 -> hypothesis;
$facts$ = fact1: 荒々しくない物は日本人らしくない fact2: 付け入らないしさらにそれは決め難くないというものはない fact3: もしもその鼻根部がポートフォリオ全体でないし更に荒々しくないとしたらこの古代世界は荒々しいということはない fact4: なにかは励行するしさらにそれはロシア革である fact5: もしも日本人らしいということはないものが異端者だとしたらあのタイムウィルテルは共同主観的構造であるということはない fact6: 仮に「この地方公共団体は許し難くなくて公開出来ない」ということは偽であるとするとその乗客・乗員は心中しない fact7: 許し難いということはないししかも公開出来ないというものはない fact8: 「ロシア革だし口出しす」物はある fact9: その鼻根部はポートフォリオ全体でなくて荒々しくない fact10: もしも「あるものは心中するということはないか物価リポートでないかあるいは両方である」ということは成り立たないとしたらそれは異端者だ fact11: もし仮にその乗客・乗員は心中しないなら「この古代世界は心中しないかあるいはそれは物価リポートであるということはないかまたは両方ともである」ということは間違いだ ; $hypothesis$ = あのタイムウィルテルは共同主観的構造である ; $proof$ = 
fact7 -> int1: 「この地方公共団体は許し難いということはないしまたそれは公開出来ない」ということは成り立たない; int1 & fact6 -> int2: その乗客・乗員は心中しない; int2 & fact11 -> int3: 「この古代世界は心中しないか物価リポートでないかまたは両方ともだ」ということは偽である; fact10 -> int4: もしも「「この古代世界は心中するということはないかもしくは物価リポートだということはないかもしくは両方だ」ということは嘘である」ということは誤りでないとすればそれは異端者である; int3 & int4 -> int5: この古代世界は異端者である; fact9 & fact3 -> int6: 「この古代世界は荒々しくない」ということは本当である; fact1 -> int7: もし仮にこの古代世界が荒々しくないとしたらそれは日本人らしくない; int6 & int7 -> int8: この古代世界は日本人らしくない; int5 & int8 -> int9: この古代世界は日本人らしくない一方で異端者である; int9 -> int10: とあるものは日本人らしくないけれどそれは異端者である; int10 & fact5 -> hypothesis; __DISPROVED__
事実1: 荒々しくない物は日本人らしくない
事実2: 付け入らないしさらにそれは決め難くないというものはない
事実3: もしもその鼻根部がポートフォリオ全体でないし更に荒々しくないとしたらこの古代世界は荒々しいということはない
事実4: なにかは励行するしさらにそれはロシア革である
事実5: もしも日本人らしいということはないものが異端者だとしたらあのタイムウィルテルは共同主観的構造であるということはない
事実6: 仮に「この地方公共団体は許し難くなくて公開出来ない」ということは偽であるとするとその乗客・乗員は心中しない
事実7: 許し難いということはないししかも公開出来ないというものはない
事実8: 「ロシア革だし口出しす」物はある
事実9: その鼻根部はポートフォリオ全体でなくて荒々しくない
事実10: もしも「あるものは心中するということはないか物価リポートでないかあるいは両方である」ということは成り立たないとしたらそれは異端者だ
事実11: もし仮にその乗客・乗員は心中しないなら「この古代世界は心中しないかあるいはそれは物価リポートであるということはないかまたは両方ともである」ということは間違いだ

仮説: あのタイムウィルテルは共同主観的構造である
1. 事実7から、推論1: "「この地方公共団体は許し難いということはないしまたそれは公開出来ない」ということは成り立たない"が導かれる
2. 推論1と事実6から、推論2: "その乗客・乗員は心中しない"が導かれる
3. 推論2と事実11から、推論3: "「この古代世界は心中しないか物価リポートでないかまたは両方ともだ」ということは偽である"が導かれる
4. 事実10から、推論4: "もしも「「この古代世界は心中するということはないかもしくは物価リポートだということはないかもしくは両方だ」ということは嘘である」ということは誤りでないとすればそれは異端者である"が導かれる
5. 推論3と推論4から、推論5: "この古代世界は異端者である"が導かれる
6. 事実9と事実3から、推論6: "「この古代世界は荒々しくない」ということは本当である"が導かれる
7. 事実1から、推論7: "もし仮にこの古代世界が荒々しくないとしたらそれは日本人らしくない"が導かれる
8. 推論6と推論7から、推論8: "この古代世界は日本人らしくない"が導かれる
9. 推論5と推論8から、推論9: "この古代世界は日本人らしくない一方で異端者である"が導かれる
10. 推論9から、推論10: "とあるものは日本人らしくないけれどそれは異端者である"が導かれる
11. 推論10と事実5から、仮説が否定される

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