「もしも白いなら薄日な」物はある
fact1: 「もし仮に騒がしいとしたら危なっかしい」ものはある fact2: このアトリエは施券でないとすると薄日である fact3: このアトリエは施券でないかまたは白いかどちらもであるとしたら薄日だ fact4: このアトリエは施券であるかもしくは白いかまたは両方ともである fact5: 「この債務的部分は施券だ」ということは確かだ fact6: 「なにがしかの物は施券でないし薄日であるということはない」ということは間違っているとしたら施券である fact7: 施券は実数である
void -> assump1: 以下のように仮定する。このアトリエは白い; assump1 -> int1: このアトリエは施券であるということはないか白いかもしくはどちらもである; int1 & fact3 -> int2: このアトリエは薄日だ; [assump1] & int2 -> int3: もしこのアトリエが白いとしたらそれは薄日だ; int3 -> hypothesis;
「このアトリエは実数だ」ということは成り立つ
fact8 -> int4: もしこのアトリエは施券であるとすればそれは実数である; fact9 -> int5: 「もし「このアトリエは施券であるということはないしそれは薄日でない」ということは嘘ならばこのアトリエは施券だ」ということは事実と異なるということはない;
$facts$ = fact1: 「もし仮に騒がしいとしたら危なっかしい」ものはある fact2: このアトリエは施券でないとすると薄日である fact3: このアトリエは施券でないかまたは白いかどちらもであるとしたら薄日だ fact4: このアトリエは施券であるかもしくは白いかまたは両方ともである fact5: 「この債務的部分は施券だ」ということは確かだ fact6: 「なにがしかの物は施券でないし薄日であるということはない」ということは間違っているとしたら施券である fact7: 施券は実数である ; $hypothesis$ = 「もしも白いなら薄日な」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。このアトリエは白い; assump1 -> int1: このアトリエは施券であるということはないか白いかもしくはどちらもである; int1 & fact3 -> int2: このアトリエは薄日だ; [assump1] & int2 -> int3: もしこのアトリエが白いとしたらそれは薄日だ; int3 -> hypothesis; __PROVED__
事実1: 「もし仮に騒がしいとしたら危なっかしい」ものはある
事実2: このアトリエは施券でないとすると薄日である
事実3: このアトリエは施券でないかまたは白いかどちらもであるとしたら薄日だ
事実4: このアトリエは施券であるかもしくは白いかまたは両方ともである
事実5: 「この債務的部分は施券だ」ということは確かだ
事実6: 「なにがしかの物は施券でないし薄日であるということはない」ということは間違っているとしたら施券である
事実7: 施券は実数である

仮説: 「もしも白いなら薄日な」物はある
1. 仮定1: 以下のように仮定する。このアトリエは白い
2. 仮定1から、推論1: "このアトリエは施券であるということはないか白いかもしくはどちらもである"が導かれる
3. 推論1と事実3から、推論2: "このアトリエは薄日だ"が導かれる
4. [仮定1]と推論2から、推論3: "もしこのアトリエが白いとしたらそれは薄日だ"が導かれる
5. 推論3から、仮説が導かれる

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