あの血族は吝い
fact1: もし「なにがしかのものは再使用しないがみみっちい」ということは成り立たないならば「それはみみっちい」ということは成り立つということはない fact2: 「ＳＰＤな」ものはある fact3: みみっちくないものは吝くないけれどＳＰＤである fact4: もし仮にこの豊臣時代は学科課程なら「それは火鑽り臼であるということはなくてそれは気高しない」ということは間違っている fact5: 「みみっちい」物はある fact6: 仮にこの豊臣時代は一人当たり売り上げ高であるということはないならば「あの血族は再使用しない一方でみみっちい」ということは間違いである fact7: この豊臣時代はみみっちい fact8: 仮に「何かは火鑽り臼でなくてその上気高しない」ということは正しくないとすればそれは一人当たり売り上げ高でない fact9: この豊臣時代はＳＰＤだ fact10: もし何らかの物がＳＰＤでそれにみみっちいとするとあの血族は吝い fact11: あの血族はＳＰＤである
fact9 & fact7 -> int1: この豊臣時代はＳＰＤであるしかつみみっちい; int1 -> int2: 何らかのものはＳＰＤであるし加えてみみっちい; int2 & fact10 -> hypothesis;
あの血族は吝くない
fact15 -> int3: もし仮にあの血族がみみっちくないとしたら吝くなくてそれはＳＰＤだ; fact12 -> int4: もしも「あの血族は再使用しない一方でそれはみみっちい」ということは誤りならみみっちくない; fact14 -> int5: 「この豊臣時代は火鑽り臼でないしそれは気高しない」ということは成り立たないとすると「それは一人当たり売り上げ高でない」ということは確かである;
$facts$ = fact1: もし「なにがしかのものは再使用しないがみみっちい」ということは成り立たないならば「それはみみっちい」ということは成り立つということはない fact2: 「ＳＰＤな」ものはある fact3: みみっちくないものは吝くないけれどＳＰＤである fact4: もし仮にこの豊臣時代は学科課程なら「それは火鑽り臼であるということはなくてそれは気高しない」ということは間違っている fact5: 「みみっちい」物はある fact6: 仮にこの豊臣時代は一人当たり売り上げ高であるということはないならば「あの血族は再使用しない一方でみみっちい」ということは間違いである fact7: この豊臣時代はみみっちい fact8: 仮に「何かは火鑽り臼でなくてその上気高しない」ということは正しくないとすればそれは一人当たり売り上げ高でない fact9: この豊臣時代はＳＰＤだ fact10: もし何らかの物がＳＰＤでそれにみみっちいとするとあの血族は吝い fact11: あの血族はＳＰＤである ; $hypothesis$ = あの血族は吝い ; $proof$ = 
fact9 & fact7 -> int1: この豊臣時代はＳＰＤであるしかつみみっちい; int1 -> int2: 何らかのものはＳＰＤであるし加えてみみっちい; int2 & fact10 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものは再使用しないがみみっちい」ということは成り立たないならば「それはみみっちい」ということは成り立つということはない
事実2: 「ＳＰＤな」ものはある
事実3: みみっちくないものは吝くないけれどＳＰＤである
事実4: もし仮にこの豊臣時代は学科課程なら「それは火鑽り臼であるということはなくてそれは気高しない」ということは間違っている
事実5: 「みみっちい」物はある
事実6: 仮にこの豊臣時代は一人当たり売り上げ高であるということはないならば「あの血族は再使用しない一方でみみっちい」ということは間違いである
事実7: この豊臣時代はみみっちい
事実8: 仮に「何かは火鑽り臼でなくてその上気高しない」ということは正しくないとすればそれは一人当たり売り上げ高でない
事実9: この豊臣時代はＳＰＤだ
事実10: もし何らかの物がＳＰＤでそれにみみっちいとするとあの血族は吝い
事実11: あの血族はＳＰＤである

仮説: あの血族は吝い
1. 事実9と事実7から、推論1: "この豊臣時代はＳＰＤであるしかつみみっちい"が導かれる
2. 推論1から、推論2: "何らかのものはＳＰＤであるし加えてみみっちい"が導かれる
3. 推論2と事実10から、仮説が導かれる

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