「もし御別れ会だとすれば懐こくない」物はある
fact1: 「仮に持ち家であるとすると申し送る」ものはある fact2: もし三項但し書きが御別れ会だとしたらそれは懐こくない fact3: もし「横付けするしその上発揮し難い」物があればその最後部は三項但し書きである fact4: 「なにがしかのものは遅いししかもそれは毎期一定だ」ということは確かである fact5: その最後部は手抜きする fact6: 「横付けするしそれに発揮し難い」物はある fact7: なにがしかのものは程近い fact8: 「陽炎な」ものはある fact9: 「もし積もれば「砕く」ということは確かな」物はある fact10: 「その最後部は烏滸がましい」ということは正しい fact11: 「もし自書するとしたら保ち続けない」ものはある
fact6 & fact3 -> int1: その最後部は三項但し書きだ; void -> assump1: 以下のように仮定する。その最後部は御別れ会である; int1 & assump1 -> int2: その最後部は三項但し書きであるししかも御別れ会だ; fact2 -> int3: もしもその最後部が三項但し書きでそれに御別れ会であるとしたら懐こいということはない; int2 & int3 -> int4: その最後部は懐こくない; [assump1] & int4 -> int5: 「仮にその最後部が御別れ会ならその最後部は懐こくない」ということは成り立つ; int5 -> hypothesis;
$facts$ = fact1: 「仮に持ち家であるとすると申し送る」ものはある fact2: もし三項但し書きが御別れ会だとしたらそれは懐こくない fact3: もし「横付けするしその上発揮し難い」物があればその最後部は三項但し書きである fact4: 「なにがしかのものは遅いししかもそれは毎期一定だ」ということは確かである fact5: その最後部は手抜きする fact6: 「横付けするしそれに発揮し難い」物はある fact7: なにがしかのものは程近い fact8: 「陽炎な」ものはある fact9: 「もし積もれば「砕く」ということは確かな」物はある fact10: 「その最後部は烏滸がましい」ということは正しい fact11: 「もし自書するとしたら保ち続けない」ものはある ; $hypothesis$ = 「もし御別れ会だとすれば懐こくない」物はある ; $proof$ = 
fact6 & fact3 -> int1: その最後部は三項但し書きだ; void -> assump1: 以下のように仮定する。その最後部は御別れ会である; int1 & assump1 -> int2: その最後部は三項但し書きであるししかも御別れ会だ; fact2 -> int3: もしもその最後部が三項但し書きでそれに御別れ会であるとしたら懐こいということはない; int2 & int3 -> int4: その最後部は懐こくない; [assump1] & int4 -> int5: 「仮にその最後部が御別れ会ならその最後部は懐こくない」ということは成り立つ; int5 -> hypothesis; __PROVED__
事実1: 「仮に持ち家であるとすると申し送る」ものはある
事実2: もし三項但し書きが御別れ会だとしたらそれは懐こくない
事実3: もし「横付けするしその上発揮し難い」物があればその最後部は三項但し書きである
事実4: 「なにがしかのものは遅いししかもそれは毎期一定だ」ということは確かである
事実5: その最後部は手抜きする
事実6: 「横付けするしそれに発揮し難い」物はある
事実7: なにがしかのものは程近い
事実8: 「陽炎な」ものはある
事実9: 「もし積もれば「砕く」ということは確かな」物はある
事実10: 「その最後部は烏滸がましい」ということは正しい
事実11: 「もし自書するとしたら保ち続けない」ものはある

仮説: 「もし御別れ会だとすれば懐こくない」物はある
1. 事実6と事実3から、推論1: "その最後部は三項但し書きだ"が導かれる
2. 仮定1: 以下のように仮定する。その最後部は御別れ会である
3. 推論1と仮定1から、推論2: "その最後部は三項但し書きであるししかも御別れ会だ"が導かれる
4. 事実2から、推論3: "もしもその最後部が三項但し書きでそれに御別れ会であるとしたら懐こいということはない"が導かれる
5. 推論2と推論3から、推論4: "その最後部は懐こくない"が導かれる
6. [仮定1]と推論4から、推論5: "「仮にその最後部が御別れ会ならその最後部は懐こくない」ということは成り立つ"が導かれる
7. 推論5から、仮説が導かれる

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