あの使い様は足掻く
fact1: あの左右其々は乗りちゃんである fact2: あの左右其々は探せる fact3: あのサスツルギはインポートし為さるし等し fact4: もし「なんらかのものは犯行現場でないけど縦深だ」ということは偽であるとすれば犯行現場である fact5: あの月影はインポートし為さるということはない fact6: その八世紀初頭はインポートし為さるということはない fact7: もし「探せるしさらに乗りちゃんである」ものがあるとすればその八世紀初頭は懐こい fact8: もし仮に「犯行現場で加えて懐こい」物があるとするとあの使い様は足掻く fact9: なにがしかのものは犯行現場だ fact10: もしその八世紀初頭はインポートし為さらないなら「それは犯行現場であるということはないがしかし縦深である」ということは偽である
fact2 & fact1 -> int1: あの左右其々は探せるしさらに乗りちゃんだ; int1 -> int2: 「探せるししかも乗りちゃんである」物はある; int2 & fact7 -> int3: その八世紀初頭は懐こい; fact4 -> int4: もし仮に「その八世紀初頭は犯行現場でないけど縦深である」ということは成り立つということはないとすれば犯行現場である; fact6 & fact10 -> int5: 「その八世紀初頭は犯行現場でない一方でそれは縦深である」ということは成り立たない; int4 & int5 -> int6: その八世紀初頭は犯行現場だ; int3 & int6 -> int7: その八世紀初頭は犯行現場であるししかも懐こい; int7 -> int8: ある物は犯行現場であるしまた懐こい; int8 & fact8 -> hypothesis;
$facts$ = fact1: あの左右其々は乗りちゃんである fact2: あの左右其々は探せる fact3: あのサスツルギはインポートし為さるし等し fact4: もし「なんらかのものは犯行現場でないけど縦深だ」ということは偽であるとすれば犯行現場である fact5: あの月影はインポートし為さるということはない fact6: その八世紀初頭はインポートし為さるということはない fact7: もし「探せるしさらに乗りちゃんである」ものがあるとすればその八世紀初頭は懐こい fact8: もし仮に「犯行現場で加えて懐こい」物があるとするとあの使い様は足掻く fact9: なにがしかのものは犯行現場だ fact10: もしその八世紀初頭はインポートし為さらないなら「それは犯行現場であるということはないがしかし縦深である」ということは偽である ; $hypothesis$ = あの使い様は足掻く ; $proof$ = 
fact2 & fact1 -> int1: あの左右其々は探せるしさらに乗りちゃんだ; int1 -> int2: 「探せるししかも乗りちゃんである」物はある; int2 & fact7 -> int3: その八世紀初頭は懐こい; fact4 -> int4: もし仮に「その八世紀初頭は犯行現場でないけど縦深である」ということは成り立つということはないとすれば犯行現場である; fact6 & fact10 -> int5: 「その八世紀初頭は犯行現場でない一方でそれは縦深である」ということは成り立たない; int4 & int5 -> int6: その八世紀初頭は犯行現場だ; int3 & int6 -> int7: その八世紀初頭は犯行現場であるししかも懐こい; int7 -> int8: ある物は犯行現場であるしまた懐こい; int8 & fact8 -> hypothesis; __PROVED__
事実1: あの左右其々は乗りちゃんである
事実2: あの左右其々は探せる
事実3: あのサスツルギはインポートし為さるし等し
事実4: もし「なんらかのものは犯行現場でないけど縦深だ」ということは偽であるとすれば犯行現場である
事実5: あの月影はインポートし為さるということはない
事実6: その八世紀初頭はインポートし為さるということはない
事実7: もし「探せるしさらに乗りちゃんである」ものがあるとすればその八世紀初頭は懐こい
事実8: もし仮に「犯行現場で加えて懐こい」物があるとするとあの使い様は足掻く
事実9: なにがしかのものは犯行現場だ
事実10: もしその八世紀初頭はインポートし為さらないなら「それは犯行現場であるということはないがしかし縦深である」ということは偽である

仮説: あの使い様は足掻く
1. 事実2と事実1から、推論1: "あの左右其々は探せるしさらに乗りちゃんだ"が導かれる
2. 推論1から、推論2: "「探せるししかも乗りちゃんである」物はある"が導かれる
3. 推論2と事実7から、推論3: "その八世紀初頭は懐こい"が導かれる
4. 事実4から、推論4: "もし仮に「その八世紀初頭は犯行現場でないけど縦深である」ということは成り立つということはないとすれば犯行現場である"が導かれる
5. 事実6と事実10から、推論5: "「その八世紀初頭は犯行現場でない一方でそれは縦深である」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "その八世紀初頭は犯行現場だ"が導かれる
7. 推論3と推論6から、推論7: "その八世紀初頭は犯行現場であるししかも懐こい"が導かれる
8. 推論7から、推論8: "ある物は犯行現場であるしまた懐こい"が導かれる
9. 推論8と事実8から、仮説が導かれる

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