「この会計処理基準は仮説するけどそれは目覚ましいということはない」ということは成り立たない
fact1: 「この会計処理基準は仮説するしかつそれは目覚ましい」ということは誤っている fact2: 「このフィルムは目覚ましいしセンチネルリンパ節である」ということは成り立たない fact3: もしなんらかのものは透析治療だとすると「「それは赤くない一方で図々しい」ということは成り立つ」ということは事実と異なる fact4: もしも「「このフィルムはセンチネルリンパ節であるがしかし指摘すということはない」ということは成り立たない」ということは偽だということはないならこの序論は目覚ましい fact5: 「この序論は横着者であるし指摘す」ということは偽である fact6: もしもこの序論は目覚ましいとしたら「この会計処理基準は仮説するけど目覚ましくない」ということは本当でない fact7: もしこの序論は目覚ましいなら「この会計処理基準は仮説するし目覚ましい」ということは誤っている fact8: 「このフィルムはセンチネルリンパ節でそれに指摘す」ということは嘘である fact9: もし仮に「このフィルムは図々しかない」ということは確かだとすればあの会計処理基準は仮説するけど目覚ましくない fact10: 「このフィルムはセンチネルリンパ節だ一方で指摘すらない」ということは間違いである fact11: このフィルムが指摘すとするとこの序論は目覚ましい
fact4 & fact10 -> int1: この序論は目覚ましい; int1 & fact6 -> hypothesis;
fact4 & fact10 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
「この会計処理基準は仮説するが目覚ましくない」ということは事実だ
fact12 -> int2: 仮にこの序論は透析治療であるならば「赤くない一方で図々しい」ということは成り立たない;
$facts$ = fact1: 「この会計処理基準は仮説するしかつそれは目覚ましい」ということは誤っている fact2: 「このフィルムは目覚ましいしセンチネルリンパ節である」ということは成り立たない fact3: もしなんらかのものは透析治療だとすると「「それは赤くない一方で図々しい」ということは成り立つ」ということは事実と異なる fact4: もしも「「このフィルムはセンチネルリンパ節であるがしかし指摘すということはない」ということは成り立たない」ということは偽だということはないならこの序論は目覚ましい fact5: 「この序論は横着者であるし指摘す」ということは偽である fact6: もしもこの序論は目覚ましいとしたら「この会計処理基準は仮説するけど目覚ましくない」ということは本当でない fact7: もしこの序論は目覚ましいなら「この会計処理基準は仮説するし目覚ましい」ということは誤っている fact8: 「このフィルムはセンチネルリンパ節でそれに指摘す」ということは嘘である fact9: もし仮に「このフィルムは図々しかない」ということは確かだとすればあの会計処理基準は仮説するけど目覚ましくない fact10: 「このフィルムはセンチネルリンパ節だ一方で指摘すらない」ということは間違いである fact11: このフィルムが指摘すとするとこの序論は目覚ましい ; $hypothesis$ = 「この会計処理基準は仮説するけどそれは目覚ましいということはない」ということは成り立たない ; $proof$ = 
fact4 & fact10 -> int1: この序論は目覚ましい; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「この会計処理基準は仮説するしかつそれは目覚ましい」ということは誤っている
事実2: 「このフィルムは目覚ましいしセンチネルリンパ節である」ということは成り立たない
事実3: もしなんらかのものは透析治療だとすると「「それは赤くない一方で図々しい」ということは成り立つ」ということは事実と異なる
事実4: もしも「「このフィルムはセンチネルリンパ節であるがしかし指摘すということはない」ということは成り立たない」ということは偽だということはないならこの序論は目覚ましい
事実5: 「この序論は横着者であるし指摘す」ということは偽である
事実6: もしもこの序論は目覚ましいとしたら「この会計処理基準は仮説するけど目覚ましくない」ということは本当でない
事実7: もしこの序論は目覚ましいなら「この会計処理基準は仮説するし目覚ましい」ということは誤っている
事実8: 「このフィルムはセンチネルリンパ節でそれに指摘す」ということは嘘である
事実9: もし仮に「このフィルムは図々しかない」ということは確かだとすればあの会計処理基準は仮説するけど目覚ましくない
事実10: 「このフィルムはセンチネルリンパ節だ一方で指摘すらない」ということは間違いである
事実11: このフィルムが指摘すとするとこの序論は目覚ましい

仮説: 「この会計処理基準は仮説するけどそれは目覚ましいということはない」ということは成り立たない
1. 事実4と事実10から、推論1: "この序論は目覚ましい"が導かれる
2. 推論1と事実6から、仮説が導かれる

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