何らかの物は荒い
fact1: 仮にその金槌が荒くないならばそれは申し込みだ fact2: 「その金槌は鑑別しないけれどそれは悪い」ということは成り立たない fact3: その金槌は土木でない fact4: もしとある物は祭るとすると「それは悪い」ということは成り立つ fact5: 「あの篤信は鑑別するということはない」ということは正しい fact6: その金槌は運び易い fact7: このストロング・スタイルは参考するということはないけどそれは申し込みである fact8: 仮に「あの資本額は荒いけど鑑別しない」ということは間違っているとすれば鑑別する fact9: その金槌は切り出せないけど腋臭だ fact10: そのアップカントリーは得易くない一方で御詳しい fact11: その金槌は購買する fact12: もしその金槌は申し込みであるとしたら祭る fact13: このヌル角度は鑑別しない fact14: 「その金槌は誤解し易くないけど祭る」ということは成り立たない fact15: 「その金槌は鑑別するということはない」ということは正しい fact16: もし「とある物は鑑別する」ということは事実だとすれば祭る fact17: あの思い過ごしは申し込みである
void -> assump1: 以下のように仮定する。「その金槌は荒くない」ということは確かだ; fact1 & assump1 -> int1: その金槌は申し込みだ; int1 & fact12 -> int2: 「その金槌は祭る」ということは成り立つ; fact4 -> int3: もしもその金槌が祭るとすれば悪い; int2 & int3 -> int4: その金槌は悪い; int4 & fact15 -> int5: その金槌は鑑別しないが悪い; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その金槌は荒い; int7 -> hypothesis;
あの資本額は鑑別する
$facts$ = fact1: 仮にその金槌が荒くないならばそれは申し込みだ fact2: 「その金槌は鑑別しないけれどそれは悪い」ということは成り立たない fact3: その金槌は土木でない fact4: もしとある物は祭るとすると「それは悪い」ということは成り立つ fact5: 「あの篤信は鑑別するということはない」ということは正しい fact6: その金槌は運び易い fact7: このストロング・スタイルは参考するということはないけどそれは申し込みである fact8: 仮に「あの資本額は荒いけど鑑別しない」ということは間違っているとすれば鑑別する fact9: その金槌は切り出せないけど腋臭だ fact10: そのアップカントリーは得易くない一方で御詳しい fact11: その金槌は購買する fact12: もしその金槌は申し込みであるとしたら祭る fact13: このヌル角度は鑑別しない fact14: 「その金槌は誤解し易くないけど祭る」ということは成り立たない fact15: 「その金槌は鑑別するということはない」ということは正しい fact16: もし「とある物は鑑別する」ということは事実だとすれば祭る fact17: あの思い過ごしは申し込みである ; $hypothesis$ = 何らかの物は荒い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その金槌は荒くない」ということは確かだ; fact1 & assump1 -> int1: その金槌は申し込みだ; int1 & fact12 -> int2: 「その金槌は祭る」ということは成り立つ; fact4 -> int3: もしもその金槌が祭るとすれば悪い; int2 & int3 -> int4: その金槌は悪い; int4 & fact15 -> int5: その金槌は鑑別しないが悪い; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その金槌は荒い; int7 -> hypothesis; __PROVED__
事実1: 仮にその金槌が荒くないならばそれは申し込みだ
事実2: 「その金槌は鑑別しないけれどそれは悪い」ということは成り立たない
事実3: その金槌は土木でない
事実4: もしとある物は祭るとすると「それは悪い」ということは成り立つ
事実5: 「あの篤信は鑑別するということはない」ということは正しい
事実6: その金槌は運び易い
事実7: このストロング・スタイルは参考するということはないけどそれは申し込みである
事実8: 仮に「あの資本額は荒いけど鑑別しない」ということは間違っているとすれば鑑別する
事実9: その金槌は切り出せないけど腋臭だ
事実10: そのアップカントリーは得易くない一方で御詳しい
事実11: その金槌は購買する
事実12: もしその金槌は申し込みであるとしたら祭る
事実13: このヌル角度は鑑別しない
事実14: 「その金槌は誤解し易くないけど祭る」ということは成り立たない
事実15: 「その金槌は鑑別するということはない」ということは正しい
事実16: もし「とある物は鑑別する」ということは事実だとすれば祭る
事実17: あの思い過ごしは申し込みである

仮説: 何らかの物は荒い
1. 仮定1: 以下のように仮定する。「その金槌は荒くない」ということは確かだ
2. 事実1と仮定1から、推論1: "その金槌は申し込みだ"が導かれる
3. 推論1と事実12から、推論2: "「その金槌は祭る」ということは成り立つ"が導かれる
4. 事実4から、推論3: "もしもその金槌が祭るとすれば悪い"が導かれる
5. 推論2と推論3から、推論4: "その金槌は悪い"が導かれる
6. 推論4と事実15から、推論5: "その金槌は鑑別しないが悪い"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その金槌は荒い"が導かれる
9. 推論7から、仮説が導かれる

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