仮にあのＪＲＵが長所であるならばこの高齢者住宅は動かし難くない
fact1: もしもなにがしかのものが込めばそれは実行し易い fact2: もし仮に「あのＪＲＵは動かし難い」ということは成り立つならこの高齢者住宅は長所であるということはない fact3: もし仮にこの高齢者住宅が長所であるとしたらあのＪＲＵは動かし難くない fact4: あのＪＲＵは片微分する fact5: 話し振りは勘違いし易い fact6: 仮にこの高齢者住宅がすりゃ良いとしたらあのＪＲＵは動かし難くない fact7: もしあのＪＲＵがすりゃ良いとしたらこの高齢者住宅は動かし難い fact8: とある物が動かし難いとしたら現出する fact9: 動かし難い物はすりゃ良い fact10: もし仮にこの高齢者住宅がすりゃ良いとすれば動かし難い fact11: もし仮にあのＪＲＵが長所であるとしたらこの高齢者住宅は動かし難い fact12: とあるものが長所だとすればそれは現出する fact13: もし仮にあのＪＲＵがすりゃ良いならこの高齢者住宅は動かし難くない fact14: そのインカ人は動かし難い fact15: 「この高齢者住宅は長所である」ということは事実である fact16: この高齢者住宅は動かし難い fact17: なにがしかのものが現出するならすりゃ良い fact18: 対象財産は焼き切る fact19: もし仮にあのＪＲＵが動かし難いとするとこの高齢者住宅はすりゃ良くない fact20: なにがしかのものは動かし難いならば「長所だ」ということは事実である
fact12 -> int1: もしもあのＪＲＵは長所であるならば現出する; void -> assump1: 以下のように仮定する。あのＪＲＵは長所である; int1 & assump1 -> int2: あのＪＲＵは現出する; fact17 -> int3: もしあのＪＲＵが現出するならそれはすりゃ良い; int2 & int3 -> int4: あのＪＲＵはすりゃ良い; int4 & fact13 -> int5: この高齢者住宅は動かし難くない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものが込めばそれは実行し易い fact2: もし仮に「あのＪＲＵは動かし難い」ということは成り立つならこの高齢者住宅は長所であるということはない fact3: もし仮にこの高齢者住宅が長所であるとしたらあのＪＲＵは動かし難くない fact4: あのＪＲＵは片微分する fact5: 話し振りは勘違いし易い fact6: 仮にこの高齢者住宅がすりゃ良いとしたらあのＪＲＵは動かし難くない fact7: もしあのＪＲＵがすりゃ良いとしたらこの高齢者住宅は動かし難い fact8: とある物が動かし難いとしたら現出する fact9: 動かし難い物はすりゃ良い fact10: もし仮にこの高齢者住宅がすりゃ良いとすれば動かし難い fact11: もし仮にあのＪＲＵが長所であるとしたらこの高齢者住宅は動かし難い fact12: とあるものが長所だとすればそれは現出する fact13: もし仮にあのＪＲＵがすりゃ良いならこの高齢者住宅は動かし難くない fact14: そのインカ人は動かし難い fact15: 「この高齢者住宅は長所である」ということは事実である fact16: この高齢者住宅は動かし難い fact17: なにがしかのものが現出するならすりゃ良い fact18: 対象財産は焼き切る fact19: もし仮にあのＪＲＵが動かし難いとするとこの高齢者住宅はすりゃ良くない fact20: なにがしかのものは動かし難いならば「長所だ」ということは事実である ; $hypothesis$ = 仮にあのＪＲＵが長所であるならばこの高齢者住宅は動かし難くない ; $proof$ = 
fact12 -> int1: もしもあのＪＲＵは長所であるならば現出する; void -> assump1: 以下のように仮定する。あのＪＲＵは長所である; int1 & assump1 -> int2: あのＪＲＵは現出する; fact17 -> int3: もしあのＪＲＵが現出するならそれはすりゃ良い; int2 & int3 -> int4: あのＪＲＵはすりゃ良い; int4 & fact13 -> int5: この高齢者住宅は動かし難くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが込めばそれは実行し易い
事実2: もし仮に「あのＪＲＵは動かし難い」ということは成り立つならこの高齢者住宅は長所であるということはない
事実3: もし仮にこの高齢者住宅が長所であるとしたらあのＪＲＵは動かし難くない
事実4: あのＪＲＵは片微分する
事実5: 話し振りは勘違いし易い
事実6: 仮にこの高齢者住宅がすりゃ良いとしたらあのＪＲＵは動かし難くない
事実7: もしあのＪＲＵがすりゃ良いとしたらこの高齢者住宅は動かし難い
事実8: とある物が動かし難いとしたら現出する
事実9: 動かし難い物はすりゃ良い
事実10: もし仮にこの高齢者住宅がすりゃ良いとすれば動かし難い
事実11: もし仮にあのＪＲＵが長所であるとしたらこの高齢者住宅は動かし難い
事実12: とあるものが長所だとすればそれは現出する
事実13: もし仮にあのＪＲＵがすりゃ良いならこの高齢者住宅は動かし難くない
事実14: そのインカ人は動かし難い
事実15: 「この高齢者住宅は長所である」ということは事実である
事実16: この高齢者住宅は動かし難い
事実17: なにがしかのものが現出するならすりゃ良い
事実18: 対象財産は焼き切る
事実19: もし仮にあのＪＲＵが動かし難いとするとこの高齢者住宅はすりゃ良くない
事実20: なにがしかのものは動かし難いならば「長所だ」ということは事実である

仮説: 仮にあのＪＲＵが長所であるならばこの高齢者住宅は動かし難くない
1. 事実12から、推論1: "もしもあのＪＲＵは長所であるならば現出する"が導かれる
2. 仮定1: 以下のように仮定する。あのＪＲＵは長所である
3. 推論1と仮定1から、推論2: "あのＪＲＵは現出する"が導かれる
4. 事実17から、推論3: "もしあのＪＲＵが現出するならそれはすりゃ良い"が導かれる
5. 推論2と推論3から、推論4: "あのＪＲＵはすりゃ良い"が導かれる
6. 推論4と事実13から、推論5: "この高齢者住宅は動かし難くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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