そのＳＲＳＶは石垣積みだ
fact1: あの東・西が遅い一方で慕わしくないならばそのＳＲＳＶはだだっ広い fact2: 「あのヴィーナスフォートは八十一例でかつそれは支援開始当初だ」ということは正しい fact3: このトポロジーが注ぎ込むとしたらあの東・西は遅い fact4: もし仮になんらかの物は確認し易いということはないなら「辛気臭くてまた石垣積みでない」ということは真実でない fact5: とあるものは辛気臭くないかあるいはそれは確認し易くない fact6: もしなにかは画一化するとするとそれは注ぎ込む fact7: もしもなにがしかのものがだだっ広いかまたはそれは成立し難いかもしくは両方ともだとすれば石垣積みでない fact8: もし「辛気臭いということはないか確認し易いということはないかまたはどちらもな」物があるならそのニッケル貨は書院番・小姓組番である fact9: 「「遅くないがしかし注ぎ込む」ということは間違いである」物があればあの東・西は画一化する fact10: もし仮に「なにがしかの物は八十一例である」ということは本当だとすればあの東・西は慕わしくない fact11: もしもあるものが画一化すればこのトポロジーは書院番・小姓組番であるかまたは画一化するか両方ともである fact12: 「あのヴィーナスフォートは遅いということはないがしかし注ぎ込む」ということは間違っている fact13: 仮にそのニッケル貨が書院番・小姓組番だとするとこのトポロジーは画一化する
fact5 & fact8 -> int1: そのニッケル貨は書院番・小姓組番である; int1 & fact13 -> int2: 「このトポロジーは画一化する」ということは真実である; fact6 -> int3: 仮にこのトポロジーは画一化すれば「注ぎ込む」ということは確かだ; int2 & int3 -> int4: このトポロジーは注ぎ込む; int4 & fact3 -> int5: 「あの東・西は遅い」ということは正しい; fact2 -> int6: あのヴィーナスフォートは八十一例である; int6 -> int7: 「八十一例な」ものはある; fact10 & int7 -> int8: あの東・西は慕わしいということはない; int5 & int8 -> int9: あの東・西は遅いけどそれは慕わしくない; int9 & fact1 -> int10: そのＳＲＳＶはだだっ広い; int10 -> int11: そのＳＲＳＶはだだっ広いかあるいは成立し難いかどちらもだ; fact7 -> int12: もしもそのＳＲＳＶがだだっ広いかまたはそれは成立し難いかあるいは両方ともだとすれば石垣積みでない; int11 & int12 -> hypothesis;
そのＳＲＳＶは石垣積みである
fact14 -> int13: 仮にそのニッケル貨は確認し易くないとすると「「辛気臭いし石垣積みでない」ということは間違いでない」ということは偽だ; fact15 -> int14: 「「遅くないしそれに注ぎ込む」ということは確かだということはない」物はある; int14 & fact16 -> int15: あの東・西は画一化する; int15 -> int16: 「画一化する」物はある; int16 & fact17 -> int17: このトポロジーは書院番・小姓組番であるか画一化する;
$facts$ = fact1: あの東・西が遅い一方で慕わしくないならばそのＳＲＳＶはだだっ広い fact2: 「あのヴィーナスフォートは八十一例でかつそれは支援開始当初だ」ということは正しい fact3: このトポロジーが注ぎ込むとしたらあの東・西は遅い fact4: もし仮になんらかの物は確認し易いということはないなら「辛気臭くてまた石垣積みでない」ということは真実でない fact5: とあるものは辛気臭くないかあるいはそれは確認し易くない fact6: もしなにかは画一化するとするとそれは注ぎ込む fact7: もしもなにがしかのものがだだっ広いかまたはそれは成立し難いかもしくは両方ともだとすれば石垣積みでない fact8: もし「辛気臭いということはないか確認し易いということはないかまたはどちらもな」物があるならそのニッケル貨は書院番・小姓組番である fact9: 「「遅くないがしかし注ぎ込む」ということは間違いである」物があればあの東・西は画一化する fact10: もし仮に「なにがしかの物は八十一例である」ということは本当だとすればあの東・西は慕わしくない fact11: もしもあるものが画一化すればこのトポロジーは書院番・小姓組番であるかまたは画一化するか両方ともである fact12: 「あのヴィーナスフォートは遅いということはないがしかし注ぎ込む」ということは間違っている fact13: 仮にそのニッケル貨が書院番・小姓組番だとするとこのトポロジーは画一化する ; $hypothesis$ = そのＳＲＳＶは石垣積みだ ; $proof$ = 
fact5 & fact8 -> int1: そのニッケル貨は書院番・小姓組番である; int1 & fact13 -> int2: 「このトポロジーは画一化する」ということは真実である; fact6 -> int3: 仮にこのトポロジーは画一化すれば「注ぎ込む」ということは確かだ; int2 & int3 -> int4: このトポロジーは注ぎ込む; int4 & fact3 -> int5: 「あの東・西は遅い」ということは正しい; fact2 -> int6: あのヴィーナスフォートは八十一例である; int6 -> int7: 「八十一例な」ものはある; fact10 & int7 -> int8: あの東・西は慕わしいということはない; int5 & int8 -> int9: あの東・西は遅いけどそれは慕わしくない; int9 & fact1 -> int10: そのＳＲＳＶはだだっ広い; int10 -> int11: そのＳＲＳＶはだだっ広いかあるいは成立し難いかどちらもだ; fact7 -> int12: もしもそのＳＲＳＶがだだっ広いかまたはそれは成立し難いかあるいは両方ともだとすれば石垣積みでない; int11 & int12 -> hypothesis; __DISPROVED__
事実1: あの東・西が遅い一方で慕わしくないならばそのＳＲＳＶはだだっ広い
事実2: 「あのヴィーナスフォートは八十一例でかつそれは支援開始当初だ」ということは正しい
事実3: このトポロジーが注ぎ込むとしたらあの東・西は遅い
事実4: もし仮になんらかの物は確認し易いということはないなら「辛気臭くてまた石垣積みでない」ということは真実でない
事実5: とあるものは辛気臭くないかあるいはそれは確認し易くない
事実6: もしなにかは画一化するとするとそれは注ぎ込む
事実7: もしもなにがしかのものがだだっ広いかまたはそれは成立し難いかもしくは両方ともだとすれば石垣積みでない
事実8: もし「辛気臭いということはないか確認し易いということはないかまたはどちらもな」物があるならそのニッケル貨は書院番・小姓組番である
事実9: 「「遅くないがしかし注ぎ込む」ということは間違いである」物があればあの東・西は画一化する
事実10: もし仮に「なにがしかの物は八十一例である」ということは本当だとすればあの東・西は慕わしくない
事実11: もしもあるものが画一化すればこのトポロジーは書院番・小姓組番であるかまたは画一化するか両方ともである
事実12: 「あのヴィーナスフォートは遅いということはないがしかし注ぎ込む」ということは間違っている
事実13: 仮にそのニッケル貨が書院番・小姓組番だとするとこのトポロジーは画一化する

仮説: そのＳＲＳＶは石垣積みだ
1. 事実5と事実8から、推論1: "そのニッケル貨は書院番・小姓組番である"が導かれる
2. 推論1と事実13から、推論2: "「このトポロジーは画一化する」ということは真実である"が導かれる
3. 事実6から、推論3: "仮にこのトポロジーは画一化すれば「注ぎ込む」ということは確かだ"が導かれる
4. 推論2と推論3から、推論4: "このトポロジーは注ぎ込む"が導かれる
5. 推論4と事実3から、推論5: "「あの東・西は遅い」ということは正しい"が導かれる
6. 事実2から、推論6: "あのヴィーナスフォートは八十一例である"が導かれる
7. 推論6から、推論7: "「八十一例な」ものはある"が導かれる
8. 事実10と推論7から、推論8: "あの東・西は慕わしいということはない"が導かれる
9. 推論5と推論8から、推論9: "あの東・西は遅いけどそれは慕わしくない"が導かれる
10. 推論9と事実1から、推論10: "そのＳＲＳＶはだだっ広い"が導かれる
11. 推論10から、推論11: "そのＳＲＳＶはだだっ広いかあるいは成立し難いかどちらもだ"が導かれる
12. 事実7から、推論12: "もしもそのＳＲＳＶがだだっ広いかまたはそれは成立し難いかあるいは両方ともだとすれば石垣積みでない"が導かれる
13. 推論11と推論12から、仮説が否定される

よって、仮説が否定されました。