その顰めっ面は近寄り難いとすれば「この会期中は根強い」ということは真実だ
fact1: 「もし仮にこの水彩画は抱っこするとすると「あの献呈は抱っこするし用字である」ということは成り立たない」ということは偽でない fact2: もしもあの献呈が用字であるならばこの会期中は根強い fact3: 「その高周波ソードは引き締まるし更に用字だ」ということは成り立たない fact4: もし「とあるものは近寄り難いけれど根強くない」ということは成り立たないとしたら近寄り難くない fact5: もしこの十字架は用字でないとすれば「それは近寄り難いが根強くない」ということは本当でない fact6: 「あの献呈は抱っこするし用字である」ということは成り立たない fact7: もし仮に「あの献呈は近寄り難い」ということは正しいとするとその顰めっ面は用字でない fact8: 「その高周波ソードは引き締まるしさらに抱っこする」ということは成り立つということはない fact9: その高周波ソードが引き締まらないならばこの水彩画は抱っこする fact10: もし仮にその顰めっ面は用字であるとすると「あの献呈は近寄り難くない」ということは正しい fact11: その高周波ソードが引き締まるならばあの顰めっ面は近寄り難くない fact12: この水彩画は用字でないなら「あの献呈は抱っこする」ということは真実である fact13: もしも「この水彩画は抱っこする」ということは誤りでないなら「あの献呈は抱っこするけれど用字でない」ということは嘘だ fact14: もしあの献呈が根強いならばこの会期中は抱っこしない fact15: この水彩画は引き締まるということはない fact16: 仮に「あの献呈は抱っこするが用字でない」ということは間違いであるとすると「この会期中は根強い」ということは本当だ fact17: この独身生活は用字でない fact18: もし仮にその高周波ソードは引き締まるとすると「その顰めっ面は近寄り難い」ということは真実である fact19: 「あの献呈はうずうずする」ということは事実だ fact20: その顰めっ面は用字だ fact21: もし「この水彩画が用字だけど抱っこしない」ということは嘘であるとするとあの献呈は引き締まる
void -> assump2: 以下のように仮定する。その高周波ソードは引き締まる; fact11 & assump2 -> int1: その顰めっ面は近寄り難くない; void -> assump1: 以下のように仮定する。その顰めっ面は近寄り難い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その高周波ソードは引き締まらない; int3 & fact9 -> int4: 「この水彩画は抱っこする」ということは成り立つ; int4 & fact13 -> int5: 「あの献呈は抱っこするけど用字であるということはない」ということは成り立たない; int5 & fact16 -> int6: この会期中は根強い; [assump1] & int6 -> hypothesis;
「この十字架は抱っこする」ということは正しい
fact23 -> int7: もし「この十字架は近寄り難いがしかしそれは根強いということはない」ということは成り立たないならそれは近寄り難くない;
$facts$ = fact1: 「もし仮にこの水彩画は抱っこするとすると「あの献呈は抱っこするし用字である」ということは成り立たない」ということは偽でない fact2: もしもあの献呈が用字であるならばこの会期中は根強い fact3: 「その高周波ソードは引き締まるし更に用字だ」ということは成り立たない fact4: もし「とあるものは近寄り難いけれど根強くない」ということは成り立たないとしたら近寄り難くない fact5: もしこの十字架は用字でないとすれば「それは近寄り難いが根強くない」ということは本当でない fact6: 「あの献呈は抱っこするし用字である」ということは成り立たない fact7: もし仮に「あの献呈は近寄り難い」ということは正しいとするとその顰めっ面は用字でない fact8: 「その高周波ソードは引き締まるしさらに抱っこする」ということは成り立つということはない fact9: その高周波ソードが引き締まらないならばこの水彩画は抱っこする fact10: もし仮にその顰めっ面は用字であるとすると「あの献呈は近寄り難くない」ということは正しい fact11: その高周波ソードが引き締まるならばあの顰めっ面は近寄り難くない fact12: この水彩画は用字でないなら「あの献呈は抱っこする」ということは真実である fact13: もしも「この水彩画は抱っこする」ということは誤りでないなら「あの献呈は抱っこするけれど用字でない」ということは嘘だ fact14: もしあの献呈が根強いならばこの会期中は抱っこしない fact15: この水彩画は引き締まるということはない fact16: 仮に「あの献呈は抱っこするが用字でない」ということは間違いであるとすると「この会期中は根強い」ということは本当だ fact17: この独身生活は用字でない fact18: もし仮にその高周波ソードは引き締まるとすると「その顰めっ面は近寄り難い」ということは真実である fact19: 「あの献呈はうずうずする」ということは事実だ fact20: その顰めっ面は用字だ fact21: もし「この水彩画が用字だけど抱っこしない」ということは嘘であるとするとあの献呈は引き締まる ; $hypothesis$ = その顰めっ面は近寄り難いとすれば「この会期中は根強い」ということは真実だ ; $proof$ = 
void -> assump2: 以下のように仮定する。その高周波ソードは引き締まる; fact11 & assump2 -> int1: その顰めっ面は近寄り難くない; void -> assump1: 以下のように仮定する。その顰めっ面は近寄り難い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その高周波ソードは引き締まらない; int3 & fact9 -> int4: 「この水彩画は抱っこする」ということは成り立つ; int4 & fact13 -> int5: 「あの献呈は抱っこするけど用字であるということはない」ということは成り立たない; int5 & fact16 -> int6: この会期中は根強い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「もし仮にこの水彩画は抱っこするとすると「あの献呈は抱っこするし用字である」ということは成り立たない」ということは偽でない
事実2: もしもあの献呈が用字であるならばこの会期中は根強い
事実3: 「その高周波ソードは引き締まるし更に用字だ」ということは成り立たない
事実4: もし「とあるものは近寄り難いけれど根強くない」ということは成り立たないとしたら近寄り難くない
事実5: もしこの十字架は用字でないとすれば「それは近寄り難いが根強くない」ということは本当でない
事実6: 「あの献呈は抱っこするし用字である」ということは成り立たない
事実7: もし仮に「あの献呈は近寄り難い」ということは正しいとするとその顰めっ面は用字でない
事実8: 「その高周波ソードは引き締まるしさらに抱っこする」ということは成り立つということはない
事実9: その高周波ソードが引き締まらないならばこの水彩画は抱っこする
事実10: もし仮にその顰めっ面は用字であるとすると「あの献呈は近寄り難くない」ということは正しい
事実11: その高周波ソードが引き締まるならばあの顰めっ面は近寄り難くない
事実12: この水彩画は用字でないなら「あの献呈は抱っこする」ということは真実である
事実13: もしも「この水彩画は抱っこする」ということは誤りでないなら「あの献呈は抱っこするけれど用字でない」ということは嘘だ
事実14: もしあの献呈が根強いならばこの会期中は抱っこしない
事実15: この水彩画は引き締まるということはない
事実16: 仮に「あの献呈は抱っこするが用字でない」ということは間違いであるとすると「この会期中は根強い」ということは本当だ
事実17: この独身生活は用字でない
事実18: もし仮にその高周波ソードは引き締まるとすると「その顰めっ面は近寄り難い」ということは真実である
事実19: 「あの献呈はうずうずする」ということは事実だ
事実20: その顰めっ面は用字だ
事実21: もし「この水彩画が用字だけど抱っこしない」ということは嘘であるとするとあの献呈は引き締まる

仮説: その顰めっ面は近寄り難いとすれば「この会期中は根強い」ということは真実だ
1. 仮定2: 以下のように仮定する。その高周波ソードは引き締まる
2. 事実11と仮定2から、推論1: "その顰めっ面は近寄り難くない"が導かれる
3. 仮定1: 以下のように仮定する。その顰めっ面は近寄り難い
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その高周波ソードは引き締まらない"が導かれる
6. 推論3と事実9から、推論4: "「この水彩画は抱っこする」ということは成り立つ"が導かれる
7. 推論4と事実13から、推論5: "「あの献呈は抱っこするけど用字であるということはない」ということは成り立たない"が導かれる
8. 推論5と事実16から、推論6: "この会期中は根強い"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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