「もしも談山神社だとすれば「信ぜないかもしくは前方矯正固定術でないかあるいはどちらもだ」ということは確かである」物はある
fact1: もしこの支援費制度が売り渡すが錯視であるということはないならばこの軍師は自動更新だ fact2: もし仮にこの支援費制度が売り渡すしそれに錯視であるならこの軍師は自動更新である fact3: この軍師は信ぜないかまたはそれは前方矯正固定術であるかまたは両方である fact4: もし自動更新は談山神社であるとしたらそれは信ずる fact5: 「もしも談山神社であるとしたら信ずるかまたは前方矯正固定術でないかあるいはどちらもな」ものはある fact6: 仮に「なにがしかの物は談山神社だ」ということは事実であるならばそれは埃っぽくない fact7: もしこの軍師は談山神社だとすれば「信ずるかあるいは前方矯正固定術でない」ということは確かである fact8: この支援費制度は売り渡す一方でそれは錯視でない fact9: 「談山神社だとすれば「信ぜないかもしくは前方矯正固定術であるかまたは両方ともだ」ということは成り立つ」ものはある fact10: もし自動更新は談山神社であるならそれは信ぜない
fact1 & fact8 -> int1: この軍師は自動更新だ; void -> assump1: 以下のように仮定する。「この軍師は談山神社だ」ということは本当だ; int1 & assump1 -> int2: この軍師は自動更新で更に談山神社だ; fact10 -> int3: もし仮に「この軍師は自動更新であるし更に談山神社だ」ということは成り立つとすればそれは信ぜない; int2 & int3 -> int4: この軍師は信ぜない; int4 -> int5: この軍師は信ぜないかあるいは前方矯正固定術でないかどちらもだ; [assump1] & int5 -> int6: もしもこの軍師が談山神社であるとすると信ぜないかあるいは前方矯正固定術でない; int6 -> hypothesis;
この支援費制度は埃っぽくない
fact11 -> int7: 仮に「この支援費制度は談山神社だ」ということは正しいとするとそれは埃っぽいということはない;
$facts$ = fact1: もしこの支援費制度が売り渡すが錯視であるということはないならばこの軍師は自動更新だ fact2: もし仮にこの支援費制度が売り渡すしそれに錯視であるならこの軍師は自動更新である fact3: この軍師は信ぜないかまたはそれは前方矯正固定術であるかまたは両方である fact4: もし自動更新は談山神社であるとしたらそれは信ずる fact5: 「もしも談山神社であるとしたら信ずるかまたは前方矯正固定術でないかあるいはどちらもな」ものはある fact6: 仮に「なにがしかの物は談山神社だ」ということは事実であるならばそれは埃っぽくない fact7: もしこの軍師は談山神社だとすれば「信ずるかあるいは前方矯正固定術でない」ということは確かである fact8: この支援費制度は売り渡す一方でそれは錯視でない fact9: 「談山神社だとすれば「信ぜないかもしくは前方矯正固定術であるかまたは両方ともだ」ということは成り立つ」ものはある fact10: もし自動更新は談山神社であるならそれは信ぜない ; $hypothesis$ = 「もしも談山神社だとすれば「信ぜないかもしくは前方矯正固定術でないかあるいはどちらもだ」ということは確かである」物はある ; $proof$ = 
fact1 & fact8 -> int1: この軍師は自動更新だ; void -> assump1: 以下のように仮定する。「この軍師は談山神社だ」ということは本当だ; int1 & assump1 -> int2: この軍師は自動更新で更に談山神社だ; fact10 -> int3: もし仮に「この軍師は自動更新であるし更に談山神社だ」ということは成り立つとすればそれは信ぜない; int2 & int3 -> int4: この軍師は信ぜない; int4 -> int5: この軍師は信ぜないかあるいは前方矯正固定術でないかどちらもだ; [assump1] & int5 -> int6: もしもこの軍師が談山神社であるとすると信ぜないかあるいは前方矯正固定術でない; int6 -> hypothesis; __PROVED__
事実1: もしこの支援費制度が売り渡すが錯視であるということはないならばこの軍師は自動更新だ
事実2: もし仮にこの支援費制度が売り渡すしそれに錯視であるならこの軍師は自動更新である
事実3: この軍師は信ぜないかまたはそれは前方矯正固定術であるかまたは両方である
事実4: もし自動更新は談山神社であるとしたらそれは信ずる
事実5: 「もしも談山神社であるとしたら信ずるかまたは前方矯正固定術でないかあるいはどちらもな」ものはある
事実6: 仮に「なにがしかの物は談山神社だ」ということは事実であるならばそれは埃っぽくない
事実7: もしこの軍師は談山神社だとすれば「信ずるかあるいは前方矯正固定術でない」ということは確かである
事実8: この支援費制度は売り渡す一方でそれは錯視でない
事実9: 「談山神社だとすれば「信ぜないかもしくは前方矯正固定術であるかまたは両方ともだ」ということは成り立つ」ものはある
事実10: もし自動更新は談山神社であるならそれは信ぜない

仮説: 「もしも談山神社だとすれば「信ぜないかもしくは前方矯正固定術でないかあるいはどちらもだ」ということは確かである」物はある
1. 事実1と事実8から、推論1: "この軍師は自動更新だ"が導かれる
2. 仮定1: 以下のように仮定する。「この軍師は談山神社だ」ということは本当だ
3. 推論1と仮定1から、推論2: "この軍師は自動更新で更に談山神社だ"が導かれる
4. 事実10から、推論3: "もし仮に「この軍師は自動更新であるし更に談山神社だ」ということは成り立つとすればそれは信ぜない"が導かれる
5. 推論2と推論3から、推論4: "この軍師は信ぜない"が導かれる
6. 推論4から、推論5: "この軍師は信ぜないかあるいは前方矯正固定術でないかどちらもだ"が導かれる
7. [仮定1]と推論5から、推論6: "もしもこの軍師が談山神社であるとすると信ぜないかあるいは前方矯正固定術でない"が導かれる
8. 推論6から、仮説が導かれる

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