その考え事は立候補する
fact1: あの業務コードは立候補する fact2: 「その試合開始時間は殺人現場だ」ということは確かだ fact3: もし「あのアルゴンレーザーは殺人現場であるかまたは引き難くない」ということは成り立たないならその考え事は立候補しない fact4: その考え事は引き難い fact5: この心残りは引き難い fact6: その考え事は壊れ易くておまけに引き難い fact7: 仮にその考え事が殺人現場だとすれば立候補する fact8: その考え事は道路管理だ fact9: その考え事は殺人現場であるしまた引き難い fact10: 仮に何らかの物は落ち易いなら「殺人現場であるかあるいは引き難くない」ということは誤りである
fact9 -> int1: その考え事は殺人現場だ; int1 & fact7 -> hypothesis;
その考え事は立候補しない
fact12 -> int2: 仮にあのアルゴンレーザーは落ち易いとすると「それは殺人現場であるかまたは引き難くないかまたは両方である」ということは誤りである;
$facts$ = fact1: あの業務コードは立候補する fact2: 「その試合開始時間は殺人現場だ」ということは確かだ fact3: もし「あのアルゴンレーザーは殺人現場であるかまたは引き難くない」ということは成り立たないならその考え事は立候補しない fact4: その考え事は引き難い fact5: この心残りは引き難い fact6: その考え事は壊れ易くておまけに引き難い fact7: 仮にその考え事が殺人現場だとすれば立候補する fact8: その考え事は道路管理だ fact9: その考え事は殺人現場であるしまた引き難い fact10: 仮に何らかの物は落ち易いなら「殺人現場であるかあるいは引き難くない」ということは誤りである ; $hypothesis$ = その考え事は立候補する ; $proof$ = 
fact9 -> int1: その考え事は殺人現場だ; int1 & fact7 -> hypothesis; __PROVED__
事実1: あの業務コードは立候補する
事実2: 「その試合開始時間は殺人現場だ」ということは確かだ
事実3: もし「あのアルゴンレーザーは殺人現場であるかまたは引き難くない」ということは成り立たないならその考え事は立候補しない
事実4: その考え事は引き難い
事実5: この心残りは引き難い
事実6: その考え事は壊れ易くておまけに引き難い
事実7: 仮にその考え事が殺人現場だとすれば立候補する
事実8: その考え事は道路管理だ
事実9: その考え事は殺人現場であるしまた引き難い
事実10: 仮に何らかの物は落ち易いなら「殺人現場であるかあるいは引き難くない」ということは誤りである

仮説: その考え事は立候補する
1. 事実9から、推論1: "その考え事は殺人現場だ"が導かれる
2. 推論1と事実7から、仮説が導かれる

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