この思想史は締め直さない
fact1: あの商業資本は御強いならば「「この籠手は跳ね飛ぶがそれは祭神でない」ということは事実だ」ということは成り立たない fact2: 女の子らしくないものは祭神だし御強い fact3: 祭神は跳ね飛ぶ fact4: もし仮にあの総合職が未練はましくらないとすると「「この籠手は希求でないけれど傍受記録だ」ということは事実である」ということは誤りだ fact5: あの総合職は未練がましかない fact6: もし仮にとあるものは女の子らしいとすれば「それは御強いということはないし扱えない」ということは成り立つということはない fact7: 「この籠手は締め直さないし傍受記録だということはない」ということは誤っている fact8: もしあの総合職は未練がましかないならば「この籠手は希求でなくてその上傍受記録だということはない」ということは偽だ fact9: 仮に「「この太刀魚は御強くなくておまけに扱えない」ということは成り立つ」ということは成り立たないとするとあの商業資本は御強い fact10: 「あの総合職は未練がましいということはないがしかし希求だ」ということは正しくない fact11: 仮に「とあるものは未練がましいけどクリスマスカードでない」ということは成り立たないなら締め直すということはない fact12: 「この籠手は希求でないしおまけに傍受記録だということはない」ということは事実でないとすればあの思想史は締め直さない fact13: 「この籠手は未練がましかないがしかし傍受記録だ」ということは間違っている fact14: この太刀魚は訳知りである fact15: もしこの籠手が跳ね飛ぶとするとあの総合職は跳ね飛ばない fact16: もしあの総合職は跳ね飛ぶということはないとすると「この一声は未練がましいけどそれはクリスマスカードでない」ということは正しくない fact17: この籠手が訳知りであるかもしくはそれは女の子らしくないか両方だとするとそれは女の子らしくない fact18: 「この籠手は希求でないけど傍受記録だ」ということは成り立たない fact19: なんらかのものはクリスマスカードでないとすると締め直すかまたは未練がましいかどちらもだ fact20: 「訳知りは女の子らしい」ということは本当である fact21: もしこの籠手が傍受記録であるならばこの思想史は締め直さない
fact8 & fact5 -> int1: 「この籠手は希求でなくてしかもそれは傍受記録でない」ということは間違いである; int1 & fact12 -> hypothesis;
この一声は締め直さない
fact24 -> int2: 仮に「この一声は未練がましいけどクリスマスカードでない」ということは事実と異なるなら締め直さない; fact26 -> int3: もしもこの籠手は祭神だとすれば「跳ね飛ぶ」ということは成り立つ; fact23 -> int4: 仮にこの籠手が女の子らしくないとすると祭神だしそれに御強い;
$facts$ = fact1: あの商業資本は御強いならば「「この籠手は跳ね飛ぶがそれは祭神でない」ということは事実だ」ということは成り立たない fact2: 女の子らしくないものは祭神だし御強い fact3: 祭神は跳ね飛ぶ fact4: もし仮にあの総合職が未練はましくらないとすると「「この籠手は希求でないけれど傍受記録だ」ということは事実である」ということは誤りだ fact5: あの総合職は未練がましかない fact6: もし仮にとあるものは女の子らしいとすれば「それは御強いということはないし扱えない」ということは成り立つということはない fact7: 「この籠手は締め直さないし傍受記録だということはない」ということは誤っている fact8: もしあの総合職は未練がましかないならば「この籠手は希求でなくてその上傍受記録だということはない」ということは偽だ fact9: 仮に「「この太刀魚は御強くなくておまけに扱えない」ということは成り立つ」ということは成り立たないとするとあの商業資本は御強い fact10: 「あの総合職は未練がましいということはないがしかし希求だ」ということは正しくない fact11: 仮に「とあるものは未練がましいけどクリスマスカードでない」ということは成り立たないなら締め直すということはない fact12: 「この籠手は希求でないしおまけに傍受記録だということはない」ということは事実でないとすればあの思想史は締め直さない fact13: 「この籠手は未練がましかないがしかし傍受記録だ」ということは間違っている fact14: この太刀魚は訳知りである fact15: もしこの籠手が跳ね飛ぶとするとあの総合職は跳ね飛ばない fact16: もしあの総合職は跳ね飛ぶということはないとすると「この一声は未練がましいけどそれはクリスマスカードでない」ということは正しくない fact17: この籠手が訳知りであるかもしくはそれは女の子らしくないか両方だとするとそれは女の子らしくない fact18: 「この籠手は希求でないけど傍受記録だ」ということは成り立たない fact19: なんらかのものはクリスマスカードでないとすると締め直すかまたは未練がましいかどちらもだ fact20: 「訳知りは女の子らしい」ということは本当である fact21: もしこの籠手が傍受記録であるならばこの思想史は締め直さない ; $hypothesis$ = この思想史は締め直さない ; $proof$ = 
fact8 & fact5 -> int1: 「この籠手は希求でなくてしかもそれは傍受記録でない」ということは間違いである; int1 & fact12 -> hypothesis; __PROVED__
事実1: あの商業資本は御強いならば「「この籠手は跳ね飛ぶがそれは祭神でない」ということは事実だ」ということは成り立たない
事実2: 女の子らしくないものは祭神だし御強い
事実3: 祭神は跳ね飛ぶ
事実4: もし仮にあの総合職が未練はましくらないとすると「「この籠手は希求でないけれど傍受記録だ」ということは事実である」ということは誤りだ
事実5: あの総合職は未練がましかない
事実6: もし仮にとあるものは女の子らしいとすれば「それは御強いということはないし扱えない」ということは成り立つということはない
事実7: 「この籠手は締め直さないし傍受記録だということはない」ということは誤っている
事実8: もしあの総合職は未練がましかないならば「この籠手は希求でなくてその上傍受記録だということはない」ということは偽だ
事実9: 仮に「「この太刀魚は御強くなくておまけに扱えない」ということは成り立つ」ということは成り立たないとするとあの商業資本は御強い
事実10: 「あの総合職は未練がましいということはないがしかし希求だ」ということは正しくない
事実11: 仮に「とあるものは未練がましいけどクリスマスカードでない」ということは成り立たないなら締め直すということはない
事実12: 「この籠手は希求でないしおまけに傍受記録だということはない」ということは事実でないとすればあの思想史は締め直さない
事実13: 「この籠手は未練がましかないがしかし傍受記録だ」ということは間違っている
事実14: この太刀魚は訳知りである
事実15: もしこの籠手が跳ね飛ぶとするとあの総合職は跳ね飛ばない
事実16: もしあの総合職は跳ね飛ぶということはないとすると「この一声は未練がましいけどそれはクリスマスカードでない」ということは正しくない
事実17: この籠手が訳知りであるかもしくはそれは女の子らしくないか両方だとするとそれは女の子らしくない
事実18: 「この籠手は希求でないけど傍受記録だ」ということは成り立たない
事実19: なんらかのものはクリスマスカードでないとすると締め直すかまたは未練がましいかどちらもだ
事実20: 「訳知りは女の子らしい」ということは本当である
事実21: もしこの籠手が傍受記録であるならばこの思想史は締め直さない

仮説: この思想史は締め直さない
1. 事実8と事実5から、推論1: "「この籠手は希求でなくてしかもそれは傍受記録でない」ということは間違いである"が導かれる
2. 推論1と事実12から、仮説が導かれる

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