あのスウィング時代はすげない
fact1: 「あのスウィング時代は思しないしかつ出し入れしない」ということは間違っていればそれは結合し易くない fact2: あの黒菱小舎は崩壊する fact3: もしある物はフセイン政権でない一方で竜津寺だとしたらそれは崩壊しない fact4: 「あの黒菱小舎は広めるし加えてそれは退く」ということは成り立つということはないとすればその合理的疑いは退かない fact5: あの表現法は快いということはないとすると「あのスウィング時代は思しないしかつ出し入れしない」ということは本当でない fact6: 仮に「あの黒菱小舎はフセイン政権であるししかも竜津寺だ」ということは成り立つということはないとしたらあの表現法は快くない fact7: あの黒菱小舎は退く fact8: もし仮にあのスウィング時代は結合し易くないならばそれはＣ‐ＵＮＩＴである fact9: 仮にあの黒菱小舎が退くし加えてそれが崩壊するなら広めない fact10: あの対象農家は退く fact11: 仮にあの黒菱小舎は広めないとすると「フセイン政権であるしそれにそれは竜津寺である」ということは確かでない fact12: あのスウィング時代は結合し易くないとしたらそれはＣ‐ＵＮＩＴであるしすげない fact13: もしもあるものは退かないなら「出し入れしなくてそれにそれは印字しない」ということは間違いだ
fact7 & fact2 -> int1: あの黒菱小舎は退くしさらに崩壊する; int1 & fact9 -> int2: あの黒菱小舎は広めない; int2 & fact11 -> int3: 「あの黒菱小舎はフセイン政権であるしまた竜津寺だ」ということは嘘である; int3 & fact6 -> int4: あの表現法は快くない; int4 & fact5 -> int5: 「あのスウィング時代は思しないし出し入れしない」ということは成り立たない; int5 & fact1 -> int6: あのスウィング時代は結合し易くない; int6 & fact12 -> int7: あのスウィング時代はＣ‐ＵＮＩＴであるし加えてすげない; int7 -> hypothesis;
「その合理的疑いは出し入れしないしその上印字しない」ということは誤りである
fact16 -> int8: もしもその合理的疑いは退かないならば「それは出し入れしなくてまた印字しない」ということは偽だ; fact14 -> int9: もしあの黒菱小舎はフセイン政権でないが竜津寺であるなら崩壊しない;
$facts$ = fact1: 「あのスウィング時代は思しないしかつ出し入れしない」ということは間違っていればそれは結合し易くない fact2: あの黒菱小舎は崩壊する fact3: もしある物はフセイン政権でない一方で竜津寺だとしたらそれは崩壊しない fact4: 「あの黒菱小舎は広めるし加えてそれは退く」ということは成り立つということはないとすればその合理的疑いは退かない fact5: あの表現法は快いということはないとすると「あのスウィング時代は思しないしかつ出し入れしない」ということは本当でない fact6: 仮に「あの黒菱小舎はフセイン政権であるししかも竜津寺だ」ということは成り立つということはないとしたらあの表現法は快くない fact7: あの黒菱小舎は退く fact8: もし仮にあのスウィング時代は結合し易くないならばそれはＣ‐ＵＮＩＴである fact9: 仮にあの黒菱小舎が退くし加えてそれが崩壊するなら広めない fact10: あの対象農家は退く fact11: 仮にあの黒菱小舎は広めないとすると「フセイン政権であるしそれにそれは竜津寺である」ということは確かでない fact12: あのスウィング時代は結合し易くないとしたらそれはＣ‐ＵＮＩＴであるしすげない fact13: もしもあるものは退かないなら「出し入れしなくてそれにそれは印字しない」ということは間違いだ ; $hypothesis$ = あのスウィング時代はすげない ; $proof$ = 
fact7 & fact2 -> int1: あの黒菱小舎は退くしさらに崩壊する; int1 & fact9 -> int2: あの黒菱小舎は広めない; int2 & fact11 -> int3: 「あの黒菱小舎はフセイン政権であるしまた竜津寺だ」ということは嘘である; int3 & fact6 -> int4: あの表現法は快くない; int4 & fact5 -> int5: 「あのスウィング時代は思しないし出し入れしない」ということは成り立たない; int5 & fact1 -> int6: あのスウィング時代は結合し易くない; int6 & fact12 -> int7: あのスウィング時代はＣ‐ＵＮＩＴであるし加えてすげない; int7 -> hypothesis; __PROVED__
事実1: 「あのスウィング時代は思しないしかつ出し入れしない」ということは間違っていればそれは結合し易くない
事実2: あの黒菱小舎は崩壊する
事実3: もしある物はフセイン政権でない一方で竜津寺だとしたらそれは崩壊しない
事実4: 「あの黒菱小舎は広めるし加えてそれは退く」ということは成り立つということはないとすればその合理的疑いは退かない
事実5: あの表現法は快いということはないとすると「あのスウィング時代は思しないしかつ出し入れしない」ということは本当でない
事実6: 仮に「あの黒菱小舎はフセイン政権であるししかも竜津寺だ」ということは成り立つということはないとしたらあの表現法は快くない
事実7: あの黒菱小舎は退く
事実8: もし仮にあのスウィング時代は結合し易くないならばそれはＣ‐ＵＮＩＴである
事実9: 仮にあの黒菱小舎が退くし加えてそれが崩壊するなら広めない
事実10: あの対象農家は退く
事実11: 仮にあの黒菱小舎は広めないとすると「フセイン政権であるしそれにそれは竜津寺である」ということは確かでない
事実12: あのスウィング時代は結合し易くないとしたらそれはＣ‐ＵＮＩＴであるしすげない
事実13: もしもあるものは退かないなら「出し入れしなくてそれにそれは印字しない」ということは間違いだ

仮説: あのスウィング時代はすげない
1. 事実7と事実2から、推論1: "あの黒菱小舎は退くしさらに崩壊する"が導かれる
2. 推論1と事実9から、推論2: "あの黒菱小舎は広めない"が導かれる
3. 推論2と事実11から、推論3: "「あの黒菱小舎はフセイン政権であるしまた竜津寺だ」ということは嘘である"が導かれる
4. 推論3と事実6から、推論4: "あの表現法は快くない"が導かれる
5. 推論4と事実5から、推論5: "「あのスウィング時代は思しないし出し入れしない」ということは成り立たない"が導かれる
6. 推論5と事実1から、推論6: "あのスウィング時代は結合し易くない"が導かれる
7. 推論6と事実12から、推論7: "あのスウィング時代はＣ‐ＵＮＩＴであるし加えてすげない"が導かれる
8. 推論7から、仮説が導かれる

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