あの日傘は後ろめたい
fact1: もしもなんらかの物が抜き付けないとするとあの日傘はむさくるしい fact2: 「「「脂肪でないしかつ断り難い」ということは偽な」物はある」ということは確かである fact3: もし仮に何らかのものは愛玩しないとすれば「後ろめたいし加えてむさくるしくない」ということは誤りだ fact4: 「「寄り掛からなくて抜き付ける」ということは誤っている」ものはある fact5: 何かはむさくるしいならばそれは後ろめたい fact6: その懇願はむさくるしい fact7: もしも「「寄り掛からないし抜き付ける」ということは成り立たない」ものがあるならあの日傘はむさくるしい fact8: もしあの四章参照は怪しくないならば「受け入れ難くないし折り込まない」ということは成り立たない
fact4 & fact7 -> int1: 「あの日傘はむさくるしい」ということは成り立つ; fact5 -> int2: 仮にあの日傘がむさくるしいとすれば後ろめたい; int1 & int2 -> hypothesis;
fact4 & fact7 -> int1: {A}{a}; fact5 -> int2: {A}{a} -> {B}{a}; int1 & int2 -> hypothesis;
あの日傘は後ろめたくない
fact10 -> int3: 仮に「あの日傘は愛玩しない」ということは成り立つとすれば「それは後ろめたい一方でむさくるしくない」ということは間違っている;
$facts$ = fact1: もしもなんらかの物が抜き付けないとするとあの日傘はむさくるしい fact2: 「「「脂肪でないしかつ断り難い」ということは偽な」物はある」ということは確かである fact3: もし仮に何らかのものは愛玩しないとすれば「後ろめたいし加えてむさくるしくない」ということは誤りだ fact4: 「「寄り掛からなくて抜き付ける」ということは誤っている」ものはある fact5: 何かはむさくるしいならばそれは後ろめたい fact6: その懇願はむさくるしい fact7: もしも「「寄り掛からないし抜き付ける」ということは成り立たない」ものがあるならあの日傘はむさくるしい fact8: もしあの四章参照は怪しくないならば「受け入れ難くないし折り込まない」ということは成り立たない ; $hypothesis$ = あの日傘は後ろめたい ; $proof$ = 
fact4 & fact7 -> int1: 「あの日傘はむさくるしい」ということは成り立つ; fact5 -> int2: 仮にあの日傘がむさくるしいとすれば後ろめたい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が抜き付けないとするとあの日傘はむさくるしい
事実2: 「「「脂肪でないしかつ断り難い」ということは偽な」物はある」ということは確かである
事実3: もし仮に何らかのものは愛玩しないとすれば「後ろめたいし加えてむさくるしくない」ということは誤りだ
事実4: 「「寄り掛からなくて抜き付ける」ということは誤っている」ものはある
事実5: 何かはむさくるしいならばそれは後ろめたい
事実6: その懇願はむさくるしい
事実7: もしも「「寄り掛からないし抜き付ける」ということは成り立たない」ものがあるならあの日傘はむさくるしい
事実8: もしあの四章参照は怪しくないならば「受け入れ難くないし折り込まない」ということは成り立たない

仮説: あの日傘は後ろめたい
1. 事実4と事実7から、推論1: "「あの日傘はむさくるしい」ということは成り立つ"が導かれる
2. 事実5から、推論2: "仮にあの日傘がむさくるしいとすれば後ろめたい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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