そのハイスピードは心霊現象でない
fact1: そのハイスピードは暮れ掛かるしそれは容認出来る fact2: 行い易いものは心霊現象である fact3: その五十瀬神社は御濃くないし持続しない fact4: もし仮にこの冠血管は容認出来るなら「このコンピュータ室は厭わしくないしさらに暮れ掛からない」ということは偽である fact5: もしあのトランスミッション・メカニズムは近しくないならば「あのパトロールは行い易くないかもしくは借り易い」ということは成り立たない fact6: もし「そのハイスピードは行い易いということはない」ということは事実と異なるとすると「あのパトロールは厭わしくない」ということは正しい fact7: もし「あのトランスミッション・メカニズムは借り易い」ということは確かならそのハイスピードは厭わしくない fact8: あのパトロールは近しい fact9: 仮にその五十瀬神社は費用項目でないとすれば「「あの光ニューロは呼ばわりしないけれどそれは取れ難い」ということは成り立たない」ということは正しい fact10: もし「あのパトロールは行い易くないかもしくは借り易いかまたはどちらもである」ということは嘘だとすればそのハイスピードは行い易い fact11: あの光ニューロが協奏でないとすればそれはオンバランスであるかあるいはそれは頷きであるか両方ともだ fact12: その五十瀬神社は御濃くないし持続しないとするとそれは費用項目でない fact13: もし仮に「このコンピュータ室は厭わしくないしその上暮れ掛からない」ということは成り立たないとするとあのトランスミッション・メカニズムは近しくない fact14: もし仮にあのパトロールが行い易いなら近しいということはない fact15: もし仮にあのパトロールが行い易くないならあのトランスミッション・メカニズムは借り易い fact16: 仮に「なにかは呼ばわりしないがしかしそれは取れ難い」ということは真実でないとすれば「協奏でない」ということは確かである fact17: 仮にそのハイスピードが暮れ掛かるけれどそれが厭わしくないとするとそれは心霊現象でない fact18: そのハイスピードは容認出来る
void -> assump1: 以下のように仮定する。あのパトロールは行い易い; fact14 & assump1 -> int1: あのパトロールは近しいということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのパトロールは行い易くない」ということは成り立つ; int3 & fact15 -> int4: 「あのトランスミッション・メカニズムは借り易い」ということは偽でない; int4 & fact7 -> int5: そのハイスピードは厭わしくない; fact1 -> int6: そのハイスピードは暮れ掛かる; int5 & int6 -> int7: そのハイスピードは暮れ掛かる一方でそれは厭わしくない; int7 & fact17 -> hypothesis;
そのハイスピードは心霊現象である
fact25 -> int8: 仮にそのハイスピードが行い易いなら心霊現象だ; fact19 -> int9: もし仮に「あの光ニューロは呼ばわりしない一方で取れ難い」ということは事実と異なるとするとそれは協奏でない; fact23 & fact27 -> int10: その五十瀬神社は費用項目でない; fact28 & int10 -> int11: 「あの光ニューロは呼ばわりしない一方でそれは取れ難い」ということは誤っている; int9 & int11 -> int12: あの光ニューロは協奏でない; fact26 & int12 -> int13: あの光ニューロはオンバランスであるかまたは頷きであるか両方ともである;
$facts$ = fact1: そのハイスピードは暮れ掛かるしそれは容認出来る fact2: 行い易いものは心霊現象である fact3: その五十瀬神社は御濃くないし持続しない fact4: もし仮にこの冠血管は容認出来るなら「このコンピュータ室は厭わしくないしさらに暮れ掛からない」ということは偽である fact5: もしあのトランスミッション・メカニズムは近しくないならば「あのパトロールは行い易くないかもしくは借り易い」ということは成り立たない fact6: もし「そのハイスピードは行い易いということはない」ということは事実と異なるとすると「あのパトロールは厭わしくない」ということは正しい fact7: もし「あのトランスミッション・メカニズムは借り易い」ということは確かならそのハイスピードは厭わしくない fact8: あのパトロールは近しい fact9: 仮にその五十瀬神社は費用項目でないとすれば「「あの光ニューロは呼ばわりしないけれどそれは取れ難い」ということは成り立たない」ということは正しい fact10: もし「あのパトロールは行い易くないかもしくは借り易いかまたはどちらもである」ということは嘘だとすればそのハイスピードは行い易い fact11: あの光ニューロが協奏でないとすればそれはオンバランスであるかあるいはそれは頷きであるか両方ともだ fact12: その五十瀬神社は御濃くないし持続しないとするとそれは費用項目でない fact13: もし仮に「このコンピュータ室は厭わしくないしその上暮れ掛からない」ということは成り立たないとするとあのトランスミッション・メカニズムは近しくない fact14: もし仮にあのパトロールが行い易いなら近しいということはない fact15: もし仮にあのパトロールが行い易くないならあのトランスミッション・メカニズムは借り易い fact16: 仮に「なにかは呼ばわりしないがしかしそれは取れ難い」ということは真実でないとすれば「協奏でない」ということは確かである fact17: 仮にそのハイスピードが暮れ掛かるけれどそれが厭わしくないとするとそれは心霊現象でない fact18: そのハイスピードは容認出来る ; $hypothesis$ = そのハイスピードは心霊現象でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのパトロールは行い易い; fact14 & assump1 -> int1: あのパトロールは近しいということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのパトロールは行い易くない」ということは成り立つ; int3 & fact15 -> int4: 「あのトランスミッション・メカニズムは借り易い」ということは偽でない; int4 & fact7 -> int5: そのハイスピードは厭わしくない; fact1 -> int6: そのハイスピードは暮れ掛かる; int5 & int6 -> int7: そのハイスピードは暮れ掛かる一方でそれは厭わしくない; int7 & fact17 -> hypothesis; __PROVED__
事実1: そのハイスピードは暮れ掛かるしそれは容認出来る
事実2: 行い易いものは心霊現象である
事実3: その五十瀬神社は御濃くないし持続しない
事実4: もし仮にこの冠血管は容認出来るなら「このコンピュータ室は厭わしくないしさらに暮れ掛からない」ということは偽である
事実5: もしあのトランスミッション・メカニズムは近しくないならば「あのパトロールは行い易くないかもしくは借り易い」ということは成り立たない
事実6: もし「そのハイスピードは行い易いということはない」ということは事実と異なるとすると「あのパトロールは厭わしくない」ということは正しい
事実7: もし「あのトランスミッション・メカニズムは借り易い」ということは確かならそのハイスピードは厭わしくない
事実8: あのパトロールは近しい
事実9: 仮にその五十瀬神社は費用項目でないとすれば「「あの光ニューロは呼ばわりしないけれどそれは取れ難い」ということは成り立たない」ということは正しい
事実10: もし「あのパトロールは行い易くないかもしくは借り易いかまたはどちらもである」ということは嘘だとすればそのハイスピードは行い易い
事実11: あの光ニューロが協奏でないとすればそれはオンバランスであるかあるいはそれは頷きであるか両方ともだ
事実12: その五十瀬神社は御濃くないし持続しないとするとそれは費用項目でない
事実13: もし仮に「このコンピュータ室は厭わしくないしその上暮れ掛からない」ということは成り立たないとするとあのトランスミッション・メカニズムは近しくない
事実14: もし仮にあのパトロールが行い易いなら近しいということはない
事実15: もし仮にあのパトロールが行い易くないならあのトランスミッション・メカニズムは借り易い
事実16: 仮に「なにかは呼ばわりしないがしかしそれは取れ難い」ということは真実でないとすれば「協奏でない」ということは確かである
事実17: 仮にそのハイスピードが暮れ掛かるけれどそれが厭わしくないとするとそれは心霊現象でない
事実18: そのハイスピードは容認出来る

仮説: そのハイスピードは心霊現象でない
1. 仮定1: 以下のように仮定する。あのパトロールは行い易い
2. 事実14と仮定1から、推論1: "あのパトロールは近しいということはない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あのパトロールは行い易くない」ということは成り立つ"が導かれる
5. 推論3と事実15から、推論4: "「あのトランスミッション・メカニズムは借り易い」ということは偽でない"が導かれる
6. 推論4と事実7から、推論5: "そのハイスピードは厭わしくない"が導かれる
7. 事実1から、推論6: "そのハイスピードは暮れ掛かる"が導かれる
8. 推論5と推論6から、推論7: "そのハイスピードは暮れ掛かる一方でそれは厭わしくない"が導かれる
9. 推論7と事実17から、仮説が導かれる

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