その交流等は藤原京でない
fact1: もし仮にその御事績は互生しないとしたら「「あのＮＡＩＳガイは取り掛かり易くない一方で互生する」ということは間違いでない」ということは誤っている fact2: 「「あのＮＡＩＳガイは取り掛かり易くてまた互生する」ということは間違いだ」ということは成り立つ fact3: この幕府政治は御忙しいということはない fact4: あの内部構造は満遍無くない fact5: もし仮にその交流等は取り掛かり易くないかあるいは取得し易くないか両方であるとするとそれは満遍無くない fact6: あの越後国は取り掛かり易い fact7: あの越後国が若者らしいとしたらあのＮＡＩＳガイは取り掛かり易くない一方で御忙しい fact8: その斜め前方は満遍無い fact9: 「その交流等は取得し易くないけど藤原京である」ということは成り立たない fact10: もし仮にその御事績は互生しないならば「あのＮＡＩＳガイは取り掛かり易いしそれに互生する」ということは成り立たない fact11: あの越後国は御忙しいかあるいは若者らしいかあるいは両方ともだ fact12: もし何らかの物が満遍無くないとしたらそれは藤原京だ fact13: もしもその斜め前方は満遍無いなら「その御事績は軟らかくない」ということは事実と異なる fact14: あの越後国が取得し易いしさらに若者らしいとしたらその交流等は藤原京でない fact15: もし仮にこの幕府政治が加熱殺菌するとするとあの越後国は若者らしい fact16: もし仮にあのＮＡＩＳガイが取り掛かり易いならばあの越後国は取得し易い fact17: 仮にその斜め前方が満遍無いならその御事績は互生するということはないけど軟らかい fact18: 「あのＮＡＩＳガイは取り掛かり易くないけど互生する」ということは偽であるとすれば「あの越後国は取得し易い」ということは本当である fact19: もしもこの幕府政治が若者らしいとすればあの越後国は若者らしい fact20: その斜め前方は御忙しくない fact21: その御事績は軟らかい fact22: もしもその御事績が取り掛かり易いならばあのＮＡＩＳガイは取り掛かり易い fact23: もしこの幕府政治が御忙しくないとすれば加熱殺菌するかまたは若者らしい
fact17 & fact8 -> int1: その御事績は互生しないけれどそれは軟らかい; int1 -> int2: その御事績は互生しない; int2 & fact1 -> int3: 「あのＮＡＩＳガイは取り掛かり易くないがしかし互生する」ということは成り立たない; int3 & fact18 -> int4: あの越後国は取得し易い; fact3 & fact23 -> int5: この幕府政治は加熱殺菌するかそれは若者らしいかどちらもである; int5 & fact19 & fact15 -> int6: あの越後国は若者らしい; int4 & int6 -> int7: あの越後国は取得し易くて若者らしい; int7 & fact14 -> hypothesis;
その交流等は藤原京だ
fact25 -> int8: 仮に「その交流等は満遍無くない」ということは真実だとしたらそれは藤原京だ;
$facts$ = fact1: もし仮にその御事績は互生しないとしたら「「あのＮＡＩＳガイは取り掛かり易くない一方で互生する」ということは間違いでない」ということは誤っている fact2: 「「あのＮＡＩＳガイは取り掛かり易くてまた互生する」ということは間違いだ」ということは成り立つ fact3: この幕府政治は御忙しいということはない fact4: あの内部構造は満遍無くない fact5: もし仮にその交流等は取り掛かり易くないかあるいは取得し易くないか両方であるとするとそれは満遍無くない fact6: あの越後国は取り掛かり易い fact7: あの越後国が若者らしいとしたらあのＮＡＩＳガイは取り掛かり易くない一方で御忙しい fact8: その斜め前方は満遍無い fact9: 「その交流等は取得し易くないけど藤原京である」ということは成り立たない fact10: もし仮にその御事績は互生しないならば「あのＮＡＩＳガイは取り掛かり易いしそれに互生する」ということは成り立たない fact11: あの越後国は御忙しいかあるいは若者らしいかあるいは両方ともだ fact12: もし何らかの物が満遍無くないとしたらそれは藤原京だ fact13: もしもその斜め前方は満遍無いなら「その御事績は軟らかくない」ということは事実と異なる fact14: あの越後国が取得し易いしさらに若者らしいとしたらその交流等は藤原京でない fact15: もし仮にこの幕府政治が加熱殺菌するとするとあの越後国は若者らしい fact16: もし仮にあのＮＡＩＳガイが取り掛かり易いならばあの越後国は取得し易い fact17: 仮にその斜め前方が満遍無いならその御事績は互生するということはないけど軟らかい fact18: 「あのＮＡＩＳガイは取り掛かり易くないけど互生する」ということは偽であるとすれば「あの越後国は取得し易い」ということは本当である fact19: もしもこの幕府政治が若者らしいとすればあの越後国は若者らしい fact20: その斜め前方は御忙しくない fact21: その御事績は軟らかい fact22: もしもその御事績が取り掛かり易いならばあのＮＡＩＳガイは取り掛かり易い fact23: もしこの幕府政治が御忙しくないとすれば加熱殺菌するかまたは若者らしい ; $hypothesis$ = その交流等は藤原京でない ; $proof$ = 
fact17 & fact8 -> int1: その御事績は互生しないけれどそれは軟らかい; int1 -> int2: その御事績は互生しない; int2 & fact1 -> int3: 「あのＮＡＩＳガイは取り掛かり易くないがしかし互生する」ということは成り立たない; int3 & fact18 -> int4: あの越後国は取得し易い; fact3 & fact23 -> int5: この幕府政治は加熱殺菌するかそれは若者らしいかどちらもである; int5 & fact19 & fact15 -> int6: あの越後国は若者らしい; int4 & int6 -> int7: あの越後国は取得し易くて若者らしい; int7 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にその御事績は互生しないとしたら「「あのＮＡＩＳガイは取り掛かり易くない一方で互生する」ということは間違いでない」ということは誤っている
事実2: 「「あのＮＡＩＳガイは取り掛かり易くてまた互生する」ということは間違いだ」ということは成り立つ
事実3: この幕府政治は御忙しいということはない
事実4: あの内部構造は満遍無くない
事実5: もし仮にその交流等は取り掛かり易くないかあるいは取得し易くないか両方であるとするとそれは満遍無くない
事実6: あの越後国は取り掛かり易い
事実7: あの越後国が若者らしいとしたらあのＮＡＩＳガイは取り掛かり易くない一方で御忙しい
事実8: その斜め前方は満遍無い
事実9: 「その交流等は取得し易くないけど藤原京である」ということは成り立たない
事実10: もし仮にその御事績は互生しないならば「あのＮＡＩＳガイは取り掛かり易いしそれに互生する」ということは成り立たない
事実11: あの越後国は御忙しいかあるいは若者らしいかあるいは両方ともだ
事実12: もし何らかの物が満遍無くないとしたらそれは藤原京だ
事実13: もしもその斜め前方は満遍無いなら「その御事績は軟らかくない」ということは事実と異なる
事実14: あの越後国が取得し易いしさらに若者らしいとしたらその交流等は藤原京でない
事実15: もし仮にこの幕府政治が加熱殺菌するとするとあの越後国は若者らしい
事実16: もし仮にあのＮＡＩＳガイが取り掛かり易いならばあの越後国は取得し易い
事実17: 仮にその斜め前方が満遍無いならその御事績は互生するということはないけど軟らかい
事実18: 「あのＮＡＩＳガイは取り掛かり易くないけど互生する」ということは偽であるとすれば「あの越後国は取得し易い」ということは本当である
事実19: もしもこの幕府政治が若者らしいとすればあの越後国は若者らしい
事実20: その斜め前方は御忙しくない
事実21: その御事績は軟らかい
事実22: もしもその御事績が取り掛かり易いならばあのＮＡＩＳガイは取り掛かり易い
事実23: もしこの幕府政治が御忙しくないとすれば加熱殺菌するかまたは若者らしい

仮説: その交流等は藤原京でない
1. 事実17と事実8から、推論1: "その御事績は互生しないけれどそれは軟らかい"が導かれる
2. 推論1から、推論2: "その御事績は互生しない"が導かれる
3. 推論2と事実1から、推論3: "「あのＮＡＩＳガイは取り掛かり易くないがしかし互生する」ということは成り立たない"が導かれる
4. 推論3と事実18から、推論4: "あの越後国は取得し易い"が導かれる
5. 事実3と事実23から、推論5: "この幕府政治は加熱殺菌するかそれは若者らしいかどちらもである"が導かれる
6. 推論5と事実19と事実15から、推論6: "あの越後国は若者らしい"が導かれる
7. 推論4と推論6から、推論7: "あの越後国は取得し易くて若者らしい"が導かれる
8. 推論7と事実14から、仮説が導かれる

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