あの囲繞地は取得し易い
fact1: この専用車は遅れ始めないかあるいはそれは戻せない fact2: もしもとあるものが掛け続けるとしたらそれは仁王立ちでないし守護・地頭でない fact3: 「その実績は死に掛かるか移り難くないかあるいはどちらもだ」ということは誤っている fact4: もし仮に「あの囲繞地は波長λである」ということは確かであるとすると取得し易い fact5: もし「その実績は死に掛かるかまたはそれは移り難くないかあるいは両方である」ということは成り立たないとすると付け為さらない fact6: もしあるものが掛け続けるということはないけどそれが疑わしいとすればそれは監視し易い fact7: もしもあの囲繞地が疑わしいならこのセロトニン値は掛け続ける fact8: その実績が付け為さらないとしたらこの感染例は波長λでないけれど監視し易い fact9: もしこのセロトニン値が取得し易いなら掛け続ける fact10: もしもこのセロトニン値が監視し易いならあの囲繞地は波長λである fact11: この専用車は守護・地頭だ fact12: この専用車が守護・地頭であるしおまけにそれが仁王立ちであるとするとこのセロトニン値は掛け続けない fact13: 何かは遅れ始めないかもしくはそれが戻せないとすればそれは仁王立ちである fact14: 仮にこのセロトニン値が仁王立ちでなくて守護・地頭でないとするとあの囲繞地は取得し易くない fact15: このセロトニン値が掛け続けるとするとあのトンネル設備予備設計は仁王立ちでないが守護・地頭だ fact16: このセロトニン値は疑わしい fact17: もし仮にあの囲繞地が守護・地頭であるならこの専用車は遅れ始める fact18: もし仮にあの囲繞地が掛け続けるならこのセロトニン値は波長λである
fact13 -> int1: 仮にこの専用車は遅れ始めないか戻せるということはないかあるいは両方ともだとすればそれは仁王立ちである; int1 & fact1 -> int2: この専用車は仁王立ちだ; int2 & fact11 -> int3: この専用車は守護・地頭であるしおまけに仁王立ちだ; int3 & fact12 -> int4: このセロトニン値は掛け続けない; int4 & fact16 -> int5: このセロトニン値は掛け続けない一方で疑わしい; fact6 -> int6: このセロトニン値が掛け続けるということはない一方で疑わしいとすればそれは監視し易い; int5 & int6 -> int7: このセロトニン値は監視し易い; int7 & fact10 -> int8: あの囲繞地は波長λだ; int8 & fact4 -> hypothesis;
あの囲繞地は取得し易くない
fact22 -> int9: もし仮に「このセロトニン値は掛け続ける」ということは確かであるとしたらそれは仁王立ちでないししかもそれは守護・地頭でない; fact19 & fact20 -> int10: その実績は付け為さらない; fact21 & int10 -> int11: この感染例は波長λだということはない一方でそれは監視し易い; int11 -> int12: 「この感染例は監視し易い」ということは正しい;
$facts$ = fact1: この専用車は遅れ始めないかあるいはそれは戻せない fact2: もしもとあるものが掛け続けるとしたらそれは仁王立ちでないし守護・地頭でない fact3: 「その実績は死に掛かるか移り難くないかあるいはどちらもだ」ということは誤っている fact4: もし仮に「あの囲繞地は波長λである」ということは確かであるとすると取得し易い fact5: もし「その実績は死に掛かるかまたはそれは移り難くないかあるいは両方である」ということは成り立たないとすると付け為さらない fact6: もしあるものが掛け続けるということはないけどそれが疑わしいとすればそれは監視し易い fact7: もしもあの囲繞地が疑わしいならこのセロトニン値は掛け続ける fact8: その実績が付け為さらないとしたらこの感染例は波長λでないけれど監視し易い fact9: もしこのセロトニン値が取得し易いなら掛け続ける fact10: もしもこのセロトニン値が監視し易いならあの囲繞地は波長λである fact11: この専用車は守護・地頭だ fact12: この専用車が守護・地頭であるしおまけにそれが仁王立ちであるとするとこのセロトニン値は掛け続けない fact13: 何かは遅れ始めないかもしくはそれが戻せないとすればそれは仁王立ちである fact14: 仮にこのセロトニン値が仁王立ちでなくて守護・地頭でないとするとあの囲繞地は取得し易くない fact15: このセロトニン値が掛け続けるとするとあのトンネル設備予備設計は仁王立ちでないが守護・地頭だ fact16: このセロトニン値は疑わしい fact17: もし仮にあの囲繞地が守護・地頭であるならこの専用車は遅れ始める fact18: もし仮にあの囲繞地が掛け続けるならこのセロトニン値は波長λである ; $hypothesis$ = あの囲繞地は取得し易い ; $proof$ = 
fact13 -> int1: 仮にこの専用車は遅れ始めないか戻せるということはないかあるいは両方ともだとすればそれは仁王立ちである; int1 & fact1 -> int2: この専用車は仁王立ちだ; int2 & fact11 -> int3: この専用車は守護・地頭であるしおまけに仁王立ちだ; int3 & fact12 -> int4: このセロトニン値は掛け続けない; int4 & fact16 -> int5: このセロトニン値は掛け続けない一方で疑わしい; fact6 -> int6: このセロトニン値が掛け続けるということはない一方で疑わしいとすればそれは監視し易い; int5 & int6 -> int7: このセロトニン値は監視し易い; int7 & fact10 -> int8: あの囲繞地は波長λだ; int8 & fact4 -> hypothesis; __PROVED__
事実1: この専用車は遅れ始めないかあるいはそれは戻せない
事実2: もしもとあるものが掛け続けるとしたらそれは仁王立ちでないし守護・地頭でない
事実3: 「その実績は死に掛かるか移り難くないかあるいはどちらもだ」ということは誤っている
事実4: もし仮に「あの囲繞地は波長λである」ということは確かであるとすると取得し易い
事実5: もし「その実績は死に掛かるかまたはそれは移り難くないかあるいは両方である」ということは成り立たないとすると付け為さらない
事実6: もしあるものが掛け続けるということはないけどそれが疑わしいとすればそれは監視し易い
事実7: もしもあの囲繞地が疑わしいならこのセロトニン値は掛け続ける
事実8: その実績が付け為さらないとしたらこの感染例は波長λでないけれど監視し易い
事実9: もしこのセロトニン値が取得し易いなら掛け続ける
事実10: もしもこのセロトニン値が監視し易いならあの囲繞地は波長λである
事実11: この専用車は守護・地頭だ
事実12: この専用車が守護・地頭であるしおまけにそれが仁王立ちであるとするとこのセロトニン値は掛け続けない
事実13: 何かは遅れ始めないかもしくはそれが戻せないとすればそれは仁王立ちである
事実14: 仮にこのセロトニン値が仁王立ちでなくて守護・地頭でないとするとあの囲繞地は取得し易くない
事実15: このセロトニン値が掛け続けるとするとあのトンネル設備予備設計は仁王立ちでないが守護・地頭だ
事実16: このセロトニン値は疑わしい
事実17: もし仮にあの囲繞地が守護・地頭であるならこの専用車は遅れ始める
事実18: もし仮にあの囲繞地が掛け続けるならこのセロトニン値は波長λである

仮説: あの囲繞地は取得し易い
1. 事実13から、推論1: "仮にこの専用車は遅れ始めないか戻せるということはないかあるいは両方ともだとすればそれは仁王立ちである"が導かれる
2. 推論1と事実1から、推論2: "この専用車は仁王立ちだ"が導かれる
3. 推論2と事実11から、推論3: "この専用車は守護・地頭であるしおまけに仁王立ちだ"が導かれる
4. 推論3と事実12から、推論4: "このセロトニン値は掛け続けない"が導かれる
5. 推論4と事実16から、推論5: "このセロトニン値は掛け続けない一方で疑わしい"が導かれる
6. 事実6から、推論6: "このセロトニン値が掛け続けるということはない一方で疑わしいとすればそれは監視し易い"が導かれる
7. 推論5と推論6から、推論7: "このセロトニン値は監視し易い"が導かれる
8. 推論7と事実10から、推論8: "あの囲繞地は波長λだ"が導かれる
9. 推論8と事実4から、仮説が導かれる

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