このストック・オプションは口座開設申し込み書である
fact1: 仮になにがしかの物が迷信深いとすればそれは本パターンであるしおまけに精霊界でない fact2: この機躡は本パターンだ fact3: 仮にこのダンサーは本パターンであるとすればそれは精霊界である fact4: もしこのダンサーが精霊界ならばこのストック・オプションは口座開設申し込み書だ fact5: このダンサーは本パターンだ fact6: このダンサーは信心深い fact7: 仮に本パターンは精霊界でないとすると「口座開設申し込み書でない」ということは本当である
fact3 & fact5 -> int1: このダンサーは精霊界である; int1 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
このストック・オプションは口座開設申し込み書でない
fact8 -> int2: もしも「このストック・オプションは本パターンだ一方で精霊界でない」ということは真実であるとすれば「口座開設申し込み書でない」ということは確かだ; fact9 -> int3: このストック・オプションが迷信深いならば本パターンだけど精霊界でない;
$facts$ = fact1: 仮になにがしかの物が迷信深いとすればそれは本パターンであるしおまけに精霊界でない fact2: この機躡は本パターンだ fact3: 仮にこのダンサーは本パターンであるとすればそれは精霊界である fact4: もしこのダンサーが精霊界ならばこのストック・オプションは口座開設申し込み書だ fact5: このダンサーは本パターンだ fact6: このダンサーは信心深い fact7: 仮に本パターンは精霊界でないとすると「口座開設申し込み書でない」ということは本当である ; $hypothesis$ = このストック・オプションは口座開設申し込み書である ; $proof$ = 
fact3 & fact5 -> int1: このダンサーは精霊界である; int1 & fact4 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が迷信深いとすればそれは本パターンであるしおまけに精霊界でない
事実2: この機躡は本パターンだ
事実3: 仮にこのダンサーは本パターンであるとすればそれは精霊界である
事実4: もしこのダンサーが精霊界ならばこのストック・オプションは口座開設申し込み書だ
事実5: このダンサーは本パターンだ
事実6: このダンサーは信心深い
事実7: 仮に本パターンは精霊界でないとすると「口座開設申し込み書でない」ということは本当である

仮説: このストック・オプションは口座開設申し込み書である
1. 事実3と事実5から、推論1: "このダンサーは精霊界である"が導かれる
2. 推論1と事実4から、仮説が導かれる

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