「その社会主義化は教材化しないが宝物庫だ」ということは事実と異なる
fact1: 仮に「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物があるとしたらこの参入後は怒りっぽくない fact2: もしこの来月は騒ぎ出さないとすると「あの七日夜は練り始めるけれど継承出来ない」ということは事実と異なる fact3: 仮になにかは怒りっぽくないとすれば「その社会主義化は教材化しないけど宝物庫である」ということは成り立つということはない fact4: 「その社会主義化は教材化するしかつそれは宝物庫である」ということは事実と異なる fact5: 「仮に「「幼しないしかつ分節化するということはない」ということは成り立たない」物があるならあの七日夜は峠駅だ」ということは確かである fact6: もしなにかは騒ぎ出さないなら教材化しないが宝物庫だ fact7: もしなんらかのものは保証書でないならば「それは幼しないし分節化しない」ということは間違っている fact8: 「この来月は怒りっぽいということはないが狂おしい」ということは誤りだ fact9: 「宝物庫でない」ものはある fact10: 仮にあの七日夜は峠駅だとしたら「それは滲炭するしさらにそれは国歌斉唱でない」ということは成り立つということはない fact11: もし仮に「あの七日夜は滲炭するけどそれは国歌斉唱でない」ということは偽ならこの来月は滲炭するということはない fact12: この参入後は保証書でない fact13: この世界チャンピオンは騒ぎ出さない fact14: この来月は騒ぎ出さない fact15: 「あの七日夜は練り始めるしまた継承出来る」ということは間違いである
fact2 & fact14 -> int1: 「あの七日夜は練り始めるけれど継承出来ない」ということは嘘である; int1 -> int2: 「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物はある; int2 & fact1 -> int3: この参入後は怒りっぽくない; int3 -> int4: 「「怒りっぽくない」ということは誤りであるということはない」ものはある; int4 & fact3 -> hypothesis;
その社会主義化は教材化しないけれどそれは宝物庫だ
fact17 -> int5: 仮にその社会主義化が騒ぎ出さないならそれは教材化しないししかもそれは宝物庫だ; fact20 -> int6: もしも「この参入後は保証書でない」ということは確かだとすれば「「幼しないし加えて分節化しない」ということは本当だ」ということは偽である; int6 & fact18 -> int7: 「この参入後は幼しないし更に分節化しない」ということは成り立たない; int7 -> int8: 「「幼しということはなくて分節化しない」ということは成り立たない」ものはある; int8 & fact19 -> int9: あの七日夜は峠駅だ; fact21 & int9 -> int10: 「あの七日夜は滲炭する一方で国歌斉唱でない」ということは誤りだ; fact16 & int10 -> int11: この来月は滲炭しない; int11 -> int12: 何らかのものは滲炭するということはない;
$facts$ = fact1: 仮に「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物があるとしたらこの参入後は怒りっぽくない fact2: もしこの来月は騒ぎ出さないとすると「あの七日夜は練り始めるけれど継承出来ない」ということは事実と異なる fact3: 仮になにかは怒りっぽくないとすれば「その社会主義化は教材化しないけど宝物庫である」ということは成り立つということはない fact4: 「その社会主義化は教材化するしかつそれは宝物庫である」ということは事実と異なる fact5: 「仮に「「幼しないしかつ分節化するということはない」ということは成り立たない」物があるならあの七日夜は峠駅だ」ということは確かである fact6: もしなにかは騒ぎ出さないなら教材化しないが宝物庫だ fact7: もしなんらかのものは保証書でないならば「それは幼しないし分節化しない」ということは間違っている fact8: 「この来月は怒りっぽいということはないが狂おしい」ということは誤りだ fact9: 「宝物庫でない」ものはある fact10: 仮にあの七日夜は峠駅だとしたら「それは滲炭するしさらにそれは国歌斉唱でない」ということは成り立つということはない fact11: もし仮に「あの七日夜は滲炭するけどそれは国歌斉唱でない」ということは偽ならこの来月は滲炭するということはない fact12: この参入後は保証書でない fact13: この世界チャンピオンは騒ぎ出さない fact14: この来月は騒ぎ出さない fact15: 「あの七日夜は練り始めるしまた継承出来る」ということは間違いである ; $hypothesis$ = 「その社会主義化は教材化しないが宝物庫だ」ということは事実と異なる ; $proof$ = 
fact2 & fact14 -> int1: 「あの七日夜は練り始めるけれど継承出来ない」ということは嘘である; int1 -> int2: 「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物はある; int2 & fact1 -> int3: この参入後は怒りっぽくない; int3 -> int4: 「「怒りっぽくない」ということは誤りであるということはない」ものはある; int4 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物があるとしたらこの参入後は怒りっぽくない
事実2: もしこの来月は騒ぎ出さないとすると「あの七日夜は練り始めるけれど継承出来ない」ということは事実と異なる
事実3: 仮になにかは怒りっぽくないとすれば「その社会主義化は教材化しないけど宝物庫である」ということは成り立つということはない
事実4: 「その社会主義化は教材化するしかつそれは宝物庫である」ということは事実と異なる
事実5: 「仮に「「幼しないしかつ分節化するということはない」ということは成り立たない」物があるならあの七日夜は峠駅だ」ということは確かである
事実6: もしなにかは騒ぎ出さないなら教材化しないが宝物庫だ
事実7: もしなんらかのものは保証書でないならば「それは幼しないし分節化しない」ということは間違っている
事実8: 「この来月は怒りっぽいということはないが狂おしい」ということは誤りだ
事実9: 「宝物庫でない」ものはある
事実10: 仮にあの七日夜は峠駅だとしたら「それは滲炭するしさらにそれは国歌斉唱でない」ということは成り立つということはない
事実11: もし仮に「あの七日夜は滲炭するけどそれは国歌斉唱でない」ということは偽ならこの来月は滲炭するということはない
事実12: この参入後は保証書でない
事実13: この世界チャンピオンは騒ぎ出さない
事実14: この来月は騒ぎ出さない
事実15: 「あの七日夜は練り始めるしまた継承出来る」ということは間違いである

仮説: 「その社会主義化は教材化しないが宝物庫だ」ということは事実と異なる
1. 事実2と事実14から、推論1: "「あの七日夜は練り始めるけれど継承出来ない」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「練り始めるしそれに継承出来るということはない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実1から、推論3: "この参入後は怒りっぽくない"が導かれる
4. 推論3から、推論4: "「「怒りっぽくない」ということは誤りであるということはない」ものはある"が導かれる
5. 推論4と事実3から、仮説が導かれる

よって、仮説が証明されました。