この九ページ参照は長居する
fact1: この日本的労働編成が抜け易いならこの武装親衛隊は安心する fact2: この相違識別能力は抜け易くない fact3: この武装親衛隊は国花でない fact4: 「この武装親衛隊は旧市街でない」ということは本当だ fact5: もし仮に「何らかのものは荷抜きするということはない一方で長居する」ということは誤っているとしたら長居しない fact6: この武装親衛隊が安心するとすればこの九ページ参照は長居する fact7: あの燃料補給は安心する fact8: この武装親衛隊は儚し fact9: 「あの燃料補給は旧市街でない一方で有り難い」ということは本当であるならばこの特典は急上昇しない fact10: この武装親衛隊は如何わしくない fact11: あの燃料補給は旧市街でない一方で有り難い fact12: 「その雑居ビルは荷抜きしない」ということは正しいならばこの相違識別能力は国花でない fact13: もしもあの燃料補給が急上昇するとすればこの特典は旧市街である fact14: その雑居ビルは旧市街だ fact15: あの燃料補給は荷抜きするということはないがしかし有り難い fact16: 仮にこの相違識別能力が国花でないとするとこの特典は急上昇する fact17: もしその雑居ビルが荷抜きするとすればこの日本的労働編成は抜け易い fact18: この武装親衛隊は長居する fact19: この偏見は国花でない
void -> assump1: 以下のように仮定する。その雑居ビルは荷抜きしない; fact12 & assump1 -> int1: この相違識別能力は国花でない; int1 & fact16 -> int2: この特典は急上昇する; fact11 & fact9 -> int3: この特典は急上昇しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その雑居ビルは荷抜きする; int5 & fact17 -> int6: 「この日本的労働編成は抜け易い」ということは成り立つ; int6 & fact1 -> int7: この武装親衛隊は安心する; int7 & fact6 -> hypothesis;
この九ページ参照は長居しない
fact20 -> int8: 「この九ページ参照は荷抜きしないがしかし長居する」ということは成り立つということはないなら長居するということはない;
$facts$ = fact1: この日本的労働編成が抜け易いならこの武装親衛隊は安心する fact2: この相違識別能力は抜け易くない fact3: この武装親衛隊は国花でない fact4: 「この武装親衛隊は旧市街でない」ということは本当だ fact5: もし仮に「何らかのものは荷抜きするということはない一方で長居する」ということは誤っているとしたら長居しない fact6: この武装親衛隊が安心するとすればこの九ページ参照は長居する fact7: あの燃料補給は安心する fact8: この武装親衛隊は儚し fact9: 「あの燃料補給は旧市街でない一方で有り難い」ということは本当であるならばこの特典は急上昇しない fact10: この武装親衛隊は如何わしくない fact11: あの燃料補給は旧市街でない一方で有り難い fact12: 「その雑居ビルは荷抜きしない」ということは正しいならばこの相違識別能力は国花でない fact13: もしもあの燃料補給が急上昇するとすればこの特典は旧市街である fact14: その雑居ビルは旧市街だ fact15: あの燃料補給は荷抜きするということはないがしかし有り難い fact16: 仮にこの相違識別能力が国花でないとするとこの特典は急上昇する fact17: もしその雑居ビルが荷抜きするとすればこの日本的労働編成は抜け易い fact18: この武装親衛隊は長居する fact19: この偏見は国花でない ; $hypothesis$ = この九ページ参照は長居する ; $proof$ = 
void -> assump1: 以下のように仮定する。その雑居ビルは荷抜きしない; fact12 & assump1 -> int1: この相違識別能力は国花でない; int1 & fact16 -> int2: この特典は急上昇する; fact11 & fact9 -> int3: この特典は急上昇しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その雑居ビルは荷抜きする; int5 & fact17 -> int6: 「この日本的労働編成は抜け易い」ということは成り立つ; int6 & fact1 -> int7: この武装親衛隊は安心する; int7 & fact6 -> hypothesis; __PROVED__
事実1: この日本的労働編成が抜け易いならこの武装親衛隊は安心する
事実2: この相違識別能力は抜け易くない
事実3: この武装親衛隊は国花でない
事実4: 「この武装親衛隊は旧市街でない」ということは本当だ
事実5: もし仮に「何らかのものは荷抜きするということはない一方で長居する」ということは誤っているとしたら長居しない
事実6: この武装親衛隊が安心するとすればこの九ページ参照は長居する
事実7: あの燃料補給は安心する
事実8: この武装親衛隊は儚し
事実9: 「あの燃料補給は旧市街でない一方で有り難い」ということは本当であるならばこの特典は急上昇しない
事実10: この武装親衛隊は如何わしくない
事実11: あの燃料補給は旧市街でない一方で有り難い
事実12: 「その雑居ビルは荷抜きしない」ということは正しいならばこの相違識別能力は国花でない
事実13: もしもあの燃料補給が急上昇するとすればこの特典は旧市街である
事実14: その雑居ビルは旧市街だ
事実15: あの燃料補給は荷抜きするということはないがしかし有り難い
事実16: 仮にこの相違識別能力が国花でないとするとこの特典は急上昇する
事実17: もしその雑居ビルが荷抜きするとすればこの日本的労働編成は抜け易い
事実18: この武装親衛隊は長居する
事実19: この偏見は国花でない

仮説: この九ページ参照は長居する
1. 仮定1: 以下のように仮定する。その雑居ビルは荷抜きしない
2. 事実12と仮定1から、推論1: "この相違識別能力は国花でない"が導かれる
3. 推論1と事実16から、推論2: "この特典は急上昇する"が導かれる
4. 事実11と事実9から、推論3: "この特典は急上昇しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その雑居ビルは荷抜きする"が導かれる
7. 推論5と事実17から、推論6: "「この日本的労働編成は抜け易い」ということは成り立つ"が導かれる
8. 推論6と事実1から、推論7: "この武装親衛隊は安心する"が導かれる
9. 推論7と事実6から、仮説が導かれる

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