この計算機上はブラックボックス化するしそれに手順だ
fact1: この計算機上はブラックボックス化する fact2: この計算機上は難しいしそれは見出す fact3: この計算機上は厚生大臣だ fact4: あのスイーツは手順だ fact5: その売買契約時は手順だ fact6: その肺水腫は手順だ fact7: もしもとある物はブラックボックス化しないかあるいは預金口座であるかあるいは両方であるならばそれはブラックボックス化しない fact8: この計算機上は飽き足るしまた偶像崇拝である fact9: この計算機上は手順である fact10: この防声具はブラックボックス化する
fact1 & fact9 -> hypothesis;
fact1 & fact9 -> hypothesis;
「「この計算機上はブラックボックス化するしそれは手順である」ということは成り立たない」ということは本当だ
fact11 -> int1: もし仮にあの民間放送がブラックボックス化しないかまたはそれは預金口座ならば「それはブラックボックス化しない」ということは成り立つ;
$facts$ = fact1: この計算機上はブラックボックス化する fact2: この計算機上は難しいしそれは見出す fact3: この計算機上は厚生大臣だ fact4: あのスイーツは手順だ fact5: その売買契約時は手順だ fact6: その肺水腫は手順だ fact7: もしもとある物はブラックボックス化しないかあるいは預金口座であるかあるいは両方であるならばそれはブラックボックス化しない fact8: この計算機上は飽き足るしまた偶像崇拝である fact9: この計算機上は手順である fact10: この防声具はブラックボックス化する ; $hypothesis$ = この計算機上はブラックボックス化するしそれに手順だ ; $proof$ = 
fact1 & fact9 -> hypothesis; __PROVED__
事実1: この計算機上はブラックボックス化する
事実2: この計算機上は難しいしそれは見出す
事実3: この計算機上は厚生大臣だ
事実4: あのスイーツは手順だ
事実5: その売買契約時は手順だ
事実6: その肺水腫は手順だ
事実7: もしもとある物はブラックボックス化しないかあるいは預金口座であるかあるいは両方であるならばそれはブラックボックス化しない
事実8: この計算機上は飽き足るしまた偶像崇拝である
事実9: この計算機上は手順である
事実10: この防声具はブラックボックス化する

仮説: この計算機上はブラックボックス化するしそれに手順だ
1. 事実1と事実9から、仮説が導かれる

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