「「もし「伏せ止めする」ということは成り立つとすると着易くなくてしかも技術職でない」ものはある」ということは成り立たない
fact1: 「申し込める」ものはある fact2: 「「十五夜であるかまたは申し込めないかまたは両方ともである」ということは確かでない」物はある fact3: もしこの侵入的思考が十五夜でないとするとあの再構築コストは十五夜でない fact4: 仮に「「十五夜であるか申し込めない」ということは偽な」ものがあるならこの侵入的思考は着易くない fact5: この文学的反映が伏せ止めするとすればこの侵入的思考は十五夜でなくてその上おもろくない fact6: もしもこの侵入的思考がおもろいかあるいはそれは伏せ止めするかもしくは両方であるとすれば技術職でない fact7: なんらかのものは先延ばしするということはない
void -> assump1: 以下のように仮定する。この侵入的思考は伏せ止めする; assump1 -> int1: この侵入的思考はおもろいか伏せ止めする; int1 & fact6 -> int2: この侵入的思考は技術職でない; fact2 & fact4 -> int3: この侵入的思考は着易くない; int2 & int3 -> int4: この侵入的思考は着易くないし技術職でない; [assump1] & int4 -> int5: 「もしこの侵入的思考が伏せ止めするとするとこの侵入的思考は着易くないし技術職でない」ということは成り立つ; int5 -> hypothesis;
あの再構築コストは十五夜でない
$facts$ = fact1: 「申し込める」ものはある fact2: 「「十五夜であるかまたは申し込めないかまたは両方ともである」ということは確かでない」物はある fact3: もしこの侵入的思考が十五夜でないとするとあの再構築コストは十五夜でない fact4: 仮に「「十五夜であるか申し込めない」ということは偽な」ものがあるならこの侵入的思考は着易くない fact5: この文学的反映が伏せ止めするとすればこの侵入的思考は十五夜でなくてその上おもろくない fact6: もしもこの侵入的思考がおもろいかあるいはそれは伏せ止めするかもしくは両方であるとすれば技術職でない fact7: なんらかのものは先延ばしするということはない ; $hypothesis$ = 「「もし「伏せ止めする」ということは成り立つとすると着易くなくてしかも技術職でない」ものはある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この侵入的思考は伏せ止めする; assump1 -> int1: この侵入的思考はおもろいか伏せ止めする; int1 & fact6 -> int2: この侵入的思考は技術職でない; fact2 & fact4 -> int3: この侵入的思考は着易くない; int2 & int3 -> int4: この侵入的思考は着易くないし技術職でない; [assump1] & int4 -> int5: 「もしこの侵入的思考が伏せ止めするとするとこの侵入的思考は着易くないし技術職でない」ということは成り立つ; int5 -> hypothesis; __DISPROVED__
事実1: 「申し込める」ものはある
事実2: 「「十五夜であるかまたは申し込めないかまたは両方ともである」ということは確かでない」物はある
事実3: もしこの侵入的思考が十五夜でないとするとあの再構築コストは十五夜でない
事実4: 仮に「「十五夜であるか申し込めない」ということは偽な」ものがあるならこの侵入的思考は着易くない
事実5: この文学的反映が伏せ止めするとすればこの侵入的思考は十五夜でなくてその上おもろくない
事実6: もしもこの侵入的思考がおもろいかあるいはそれは伏せ止めするかもしくは両方であるとすれば技術職でない
事実7: なんらかのものは先延ばしするということはない

仮説: 「「もし「伏せ止めする」ということは成り立つとすると着易くなくてしかも技術職でない」ものはある」ということは成り立たない
1. 仮定1: 以下のように仮定する。この侵入的思考は伏せ止めする
2. 仮定1から、推論1: "この侵入的思考はおもろいか伏せ止めする"が導かれる
3. 推論1と事実6から、推論2: "この侵入的思考は技術職でない"が導かれる
4. 事実2と事実4から、推論3: "この侵入的思考は着易くない"が導かれる
5. 推論2と推論3から、推論4: "この侵入的思考は着易くないし技術職でない"が導かれる
6. [仮定1]と推論4から、推論5: "「もしこの侵入的思考が伏せ止めするとするとこの侵入的思考は着易くないし技術職でない」ということは成り立つ"が導かれる
7. 推論5から、仮説が否定される

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