この御年配はひ弱い
fact1: もしその異常波動が賛成し難くてさらにそれが巡拝だとすると磐石でない fact2: 「その異常波動は供用する」ということは成り立つ fact3: その異常波動は頼もしくない fact4: もし仮にこの御年配がフォーカスするしおまけに第一種市街地再開発事業であるとすればあの辺縁部はやんごとなくない fact5: 仮にその異常波動が頼もしくないとしたら供用する fact6: もしその辺縁部がやんごとなくないとすればその異常波動は賛成し難いけど巡拝でない fact7: この御年配はフォーカスしない fact8: もしも何らかのものが賛成し難いがそれは巡拝でないとしたらそれは磐石でない fact9: この御年配がひ弱いということはないとしたらそれはフォーカスしないけれど第一種市街地再開発事業だ fact10: もし仮にこの御年配がフォーカスしないけどそれは第一種市街地再開発事業なら「その辺縁部はやんごとなくない」ということは成り立つ fact11: その異常波動は巡拝でない fact12: 賛成し難いものはひ弱いということはないがしかしやんごとない fact13: 仮にその辺縁部がやんごとなくないとするとその異常波動は巡拝であるということはない fact14: 仮にこの御年配がひ弱くないならそれはフォーカスするということはない fact15: その異常波動が頼もしいということはないとするとそれは磐石であるし更にそれは供用する fact16: もし仮に賛成し難い物は巡拝であるとすると磐石でない
void -> assump1: 以下のように仮定する。この御年配はひ弱くない; fact9 & assump1 -> int1: この御年配はフォーカスしないがしかしそれは第一種市街地再開発事業である; int1 & fact10 -> int2: その辺縁部はやんごとないということはない; int2 & fact6 -> int3: その異常波動は賛成し難いがしかし巡拝でない; fact8 -> int4: もしその異常波動は賛成し難いけれど巡拝でないとしたらそれは磐石でない; int3 & int4 -> int5: その異常波動は磐石でない; fact15 & fact3 -> int6: その異常波動は磐石であるし供用する; int6 -> int7: その異常波動は磐石である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この御年配はひ弱くない
fact17 -> int9: この御年配が賛成し難いとするとひ弱いということはないけどやんごとない;
$facts$ = fact1: もしその異常波動が賛成し難くてさらにそれが巡拝だとすると磐石でない fact2: 「その異常波動は供用する」ということは成り立つ fact3: その異常波動は頼もしくない fact4: もし仮にこの御年配がフォーカスするしおまけに第一種市街地再開発事業であるとすればあの辺縁部はやんごとなくない fact5: 仮にその異常波動が頼もしくないとしたら供用する fact6: もしその辺縁部がやんごとなくないとすればその異常波動は賛成し難いけど巡拝でない fact7: この御年配はフォーカスしない fact8: もしも何らかのものが賛成し難いがそれは巡拝でないとしたらそれは磐石でない fact9: この御年配がひ弱いということはないとしたらそれはフォーカスしないけれど第一種市街地再開発事業だ fact10: もし仮にこの御年配がフォーカスしないけどそれは第一種市街地再開発事業なら「その辺縁部はやんごとなくない」ということは成り立つ fact11: その異常波動は巡拝でない fact12: 賛成し難いものはひ弱いということはないがしかしやんごとない fact13: 仮にその辺縁部がやんごとなくないとするとその異常波動は巡拝であるということはない fact14: 仮にこの御年配がひ弱くないならそれはフォーカスするということはない fact15: その異常波動が頼もしいということはないとするとそれは磐石であるし更にそれは供用する fact16: もし仮に賛成し難い物は巡拝であるとすると磐石でない ; $hypothesis$ = この御年配はひ弱い ; $proof$ = 
void -> assump1: 以下のように仮定する。この御年配はひ弱くない; fact9 & assump1 -> int1: この御年配はフォーカスしないがしかしそれは第一種市街地再開発事業である; int1 & fact10 -> int2: その辺縁部はやんごとないということはない; int2 & fact6 -> int3: その異常波動は賛成し難いがしかし巡拝でない; fact8 -> int4: もしその異常波動は賛成し難いけれど巡拝でないとしたらそれは磐石でない; int3 & int4 -> int5: その異常波動は磐石でない; fact15 & fact3 -> int6: その異常波動は磐石であるし供用する; int6 -> int7: その異常波動は磐石である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしその異常波動が賛成し難くてさらにそれが巡拝だとすると磐石でない
事実2: 「その異常波動は供用する」ということは成り立つ
事実3: その異常波動は頼もしくない
事実4: もし仮にこの御年配がフォーカスするしおまけに第一種市街地再開発事業であるとすればあの辺縁部はやんごとなくない
事実5: 仮にその異常波動が頼もしくないとしたら供用する
事実6: もしその辺縁部がやんごとなくないとすればその異常波動は賛成し難いけど巡拝でない
事実7: この御年配はフォーカスしない
事実8: もしも何らかのものが賛成し難いがそれは巡拝でないとしたらそれは磐石でない
事実9: この御年配がひ弱いということはないとしたらそれはフォーカスしないけれど第一種市街地再開発事業だ
事実10: もし仮にこの御年配がフォーカスしないけどそれは第一種市街地再開発事業なら「その辺縁部はやんごとなくない」ということは成り立つ
事実11: その異常波動は巡拝でない
事実12: 賛成し難いものはひ弱いということはないがしかしやんごとない
事実13: 仮にその辺縁部がやんごとなくないとするとその異常波動は巡拝であるということはない
事実14: 仮にこの御年配がひ弱くないならそれはフォーカスするということはない
事実15: その異常波動が頼もしいということはないとするとそれは磐石であるし更にそれは供用する
事実16: もし仮に賛成し難い物は巡拝であるとすると磐石でない

仮説: この御年配はひ弱い
1. 仮定1: 以下のように仮定する。この御年配はひ弱くない
2. 事実9と仮定1から、推論1: "この御年配はフォーカスしないがしかしそれは第一種市街地再開発事業である"が導かれる
3. 推論1と事実10から、推論2: "その辺縁部はやんごとないということはない"が導かれる
4. 推論2と事実6から、推論3: "その異常波動は賛成し難いがしかし巡拝でない"が導かれる
5. 事実8から、推論4: "もしその異常波動は賛成し難いけれど巡拝でないとしたらそれは磐石でない"が導かれる
6. 推論3と推論4から、推論5: "その異常波動は磐石でない"が導かれる
7. 事実15と事実3から、推論6: "その異常波動は磐石であるし供用する"が導かれる
8. 推論6から、推論7: "その異常波動は磐石である"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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