あの被疑事実は雄々しい
fact1: 迷い難くない物は雄々しい fact2: 雄々しかないものは崩れ易い fact3: 「あの被疑事実は雄々しいけど崩れ易くない」ということは間違っている fact4: 「その貪は雄々しいけど信仰深くない」ということは間違っているとするとあの被疑事実は崩れ易くない fact5: その貪は必要部数でない fact6: もしこの防衛政策は信仰深くないなら「この解剖学者はＳＫでないが雄々しい」ということは嘘である fact7: 仮にその貪が迷い難いとしたらあの被疑事実は信仰深くない fact8: もしも「とあるものは混ぜ合わせない」ということは本当だとすると「それは交尾むない」ということは真実だ fact9: もし仮にこの解剖学者は交尾むないとすると「その貪は信仰深くないがＳＫである」ということは確かでない fact10: 「その貪は崩れ易いし迷い難い」ということは偽だ fact11: もし仮に「とある物はＳＫでないけど雄々しい」ということは誤っていればそれは雄々しかない fact12: 仮に「その貪は崩れ易いが迷い難いということはない」ということは誤っているならあの被疑事実は信仰深くない fact13: もしこの解剖学者が雄々しかないならばあの貪は決算額でない fact14: 「「その貪は崩れ易いけれど迷い難くない」ということは間違いである」ということは正しい fact15: 信仰深くない物は雄々しい
fact12 & fact14 -> int1: あの被疑事実は信仰深いということはない; fact15 -> int2: もしもあの被疑事実は信仰深くないならば「それは雄々しい」ということは真実だ; int1 & int2 -> hypothesis;
「あの被疑事実は決算額だ一方で選択出来ない」ということは本当でない
fact18 -> int3: もし「この解剖学者はＳＫでないがしかし雄々しい」ということは正しくないならそれは雄々しかない;
$facts$ = fact1: 迷い難くない物は雄々しい fact2: 雄々しかないものは崩れ易い fact3: 「あの被疑事実は雄々しいけど崩れ易くない」ということは間違っている fact4: 「その貪は雄々しいけど信仰深くない」ということは間違っているとするとあの被疑事実は崩れ易くない fact5: その貪は必要部数でない fact6: もしこの防衛政策は信仰深くないなら「この解剖学者はＳＫでないが雄々しい」ということは嘘である fact7: 仮にその貪が迷い難いとしたらあの被疑事実は信仰深くない fact8: もしも「とあるものは混ぜ合わせない」ということは本当だとすると「それは交尾むない」ということは真実だ fact9: もし仮にこの解剖学者は交尾むないとすると「その貪は信仰深くないがＳＫである」ということは確かでない fact10: 「その貪は崩れ易いし迷い難い」ということは偽だ fact11: もし仮に「とある物はＳＫでないけど雄々しい」ということは誤っていればそれは雄々しかない fact12: 仮に「その貪は崩れ易いが迷い難いということはない」ということは誤っているならあの被疑事実は信仰深くない fact13: もしこの解剖学者が雄々しかないならばあの貪は決算額でない fact14: 「「その貪は崩れ易いけれど迷い難くない」ということは間違いである」ということは正しい fact15: 信仰深くない物は雄々しい ; $hypothesis$ = あの被疑事実は雄々しい ; $proof$ = 
fact12 & fact14 -> int1: あの被疑事実は信仰深いということはない; fact15 -> int2: もしもあの被疑事実は信仰深くないならば「それは雄々しい」ということは真実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 迷い難くない物は雄々しい
事実2: 雄々しかないものは崩れ易い
事実3: 「あの被疑事実は雄々しいけど崩れ易くない」ということは間違っている
事実4: 「その貪は雄々しいけど信仰深くない」ということは間違っているとするとあの被疑事実は崩れ易くない
事実5: その貪は必要部数でない
事実6: もしこの防衛政策は信仰深くないなら「この解剖学者はＳＫでないが雄々しい」ということは嘘である
事実7: 仮にその貪が迷い難いとしたらあの被疑事実は信仰深くない
事実8: もしも「とあるものは混ぜ合わせない」ということは本当だとすると「それは交尾むない」ということは真実だ
事実9: もし仮にこの解剖学者は交尾むないとすると「その貪は信仰深くないがＳＫである」ということは確かでない
事実10: 「その貪は崩れ易いし迷い難い」ということは偽だ
事実11: もし仮に「とある物はＳＫでないけど雄々しい」ということは誤っていればそれは雄々しかない
事実12: 仮に「その貪は崩れ易いが迷い難いということはない」ということは誤っているならあの被疑事実は信仰深くない
事実13: もしこの解剖学者が雄々しかないならばあの貪は決算額でない
事実14: 「「その貪は崩れ易いけれど迷い難くない」ということは間違いである」ということは正しい
事実15: 信仰深くない物は雄々しい

仮説: あの被疑事実は雄々しい
1. 事実12と事実14から、推論1: "あの被疑事実は信仰深いということはない"が導かれる
2. 事実15から、推論2: "もしもあの被疑事実は信仰深くないならば「それは雄々しい」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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