その成功は併発でない
fact1: もしこの日本公演が書すないが覚え難いならばその成功は併発だ fact2: この日本公演は覚え難い fact3: この日本公演は書すない fact4: なにかは覚え難くないなら「それが併発だしさらに書すない」ということは嘘だ fact5: あのバイオフィルムは凍結保存しないけど内示する
fact3 & fact2 -> int1: この日本公演は書すということはない一方で覚え難い; int1 & fact1 -> hypothesis;
その成功は併発だということはない
fact6 -> int2: この日本公演は覚え難くないとすれば「それは併発であり書すない」ということは成り立たない; fact7 -> int3: あのバイオフィルムは凍結保存しない; int3 -> int4: 「凍結保存しない」物はある;
$facts$ = fact1: もしこの日本公演が書すないが覚え難いならばその成功は併発だ fact2: この日本公演は覚え難い fact3: この日本公演は書すない fact4: なにかは覚え難くないなら「それが併発だしさらに書すない」ということは嘘だ fact5: あのバイオフィルムは凍結保存しないけど内示する ; $hypothesis$ = その成功は併発でない ; $proof$ = 
fact3 & fact2 -> int1: この日本公演は書すということはない一方で覚え難い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの日本公演が書すないが覚え難いならばその成功は併発だ
事実2: この日本公演は覚え難い
事実3: この日本公演は書すない
事実4: なにかは覚え難くないなら「それが併発だしさらに書すない」ということは嘘だ
事実5: あのバイオフィルムは凍結保存しないけど内示する

仮説: その成功は併発でない
1. 事実3と事実2から、推論1: "この日本公演は書すということはない一方で覚え難い"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。