「そのドアベルはいじらしくない」ということは確かである
fact1: あの卵黄小胞は氷嚢でない fact2: もし「とあるものが誦すしその上それは収まり切れる」ということは成り立たないならそれはいじらしくない fact3: 仮に「御電話するし更に氷嚢である」物があればこのアンティークショップは誦すない fact4: とある物は着易い一方でリダイレクトしない fact5: もし仮にあるものが収まり切れないとするとそれはいじらしくない fact6: あの卵黄小胞は御電話するがしかし氷嚢でない fact7: 仮に「そのドアベルは収まり切れない」ということは成り立つとするとそれはいじらしくない fact8: もし仮にこのアンティークショップは誦すないならば「そのドアベルは誦すし収まり切れる」ということは誤りだ fact9: もし仮に何かは御電話するけれど氷嚢でないとすればあのアンティークショップは誦すということはない fact10: 仮に「何かはばたばたするしまた騒ぎ立つ」ということは成り立たないとすればそれはＥインだということはない fact11: もし仮にあの卵黄小胞が収まり切れないとしたら氷嚢でない fact12: もしもなにかは御電話するとすればいじらしい fact13: あの残り物活用法は氷嚢である fact14: 「そのドアベルは御電話するしおまけにいじらしい」ということは嘘である
fact6 -> int1: 「御電話するしその上氷嚢でない」ものはある; int1 & fact9 -> int2: このアンティークショップは誦すない; int2 & fact8 -> int3: 「そのドアベルは誦すししかもそれは収まり切れる」ということは嘘である; fact2 -> int4: 「そのドアベルは誦すし収まり切れる」ということは間違っているなら「いじらしくない」ということは成り立つ; int3 & int4 -> hypothesis;
そのドアベルはいじらしい
fact15 -> int5: そのドアベルが御電話するとするといじらしい;
$facts$ = fact1: あの卵黄小胞は氷嚢でない fact2: もし「とあるものが誦すしその上それは収まり切れる」ということは成り立たないならそれはいじらしくない fact3: 仮に「御電話するし更に氷嚢である」物があればこのアンティークショップは誦すない fact4: とある物は着易い一方でリダイレクトしない fact5: もし仮にあるものが収まり切れないとするとそれはいじらしくない fact6: あの卵黄小胞は御電話するがしかし氷嚢でない fact7: 仮に「そのドアベルは収まり切れない」ということは成り立つとするとそれはいじらしくない fact8: もし仮にこのアンティークショップは誦すないならば「そのドアベルは誦すし収まり切れる」ということは誤りだ fact9: もし仮に何かは御電話するけれど氷嚢でないとすればあのアンティークショップは誦すということはない fact10: 仮に「何かはばたばたするしまた騒ぎ立つ」ということは成り立たないとすればそれはＥインだということはない fact11: もし仮にあの卵黄小胞が収まり切れないとしたら氷嚢でない fact12: もしもなにかは御電話するとすればいじらしい fact13: あの残り物活用法は氷嚢である fact14: 「そのドアベルは御電話するしおまけにいじらしい」ということは嘘である ; $hypothesis$ = 「そのドアベルはいじらしくない」ということは確かである ; $proof$ = 
fact6 -> int1: 「御電話するしその上氷嚢でない」ものはある; int1 & fact9 -> int2: このアンティークショップは誦すない; int2 & fact8 -> int3: 「そのドアベルは誦すししかもそれは収まり切れる」ということは嘘である; fact2 -> int4: 「そのドアベルは誦すし収まり切れる」ということは間違っているなら「いじらしくない」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: あの卵黄小胞は氷嚢でない
事実2: もし「とあるものが誦すしその上それは収まり切れる」ということは成り立たないならそれはいじらしくない
事実3: 仮に「御電話するし更に氷嚢である」物があればこのアンティークショップは誦すない
事実4: とある物は着易い一方でリダイレクトしない
事実5: もし仮にあるものが収まり切れないとするとそれはいじらしくない
事実6: あの卵黄小胞は御電話するがしかし氷嚢でない
事実7: 仮に「そのドアベルは収まり切れない」ということは成り立つとするとそれはいじらしくない
事実8: もし仮にこのアンティークショップは誦すないならば「そのドアベルは誦すし収まり切れる」ということは誤りだ
事実9: もし仮に何かは御電話するけれど氷嚢でないとすればあのアンティークショップは誦すということはない
事実10: 仮に「何かはばたばたするしまた騒ぎ立つ」ということは成り立たないとすればそれはＥインだということはない
事実11: もし仮にあの卵黄小胞が収まり切れないとしたら氷嚢でない
事実12: もしもなにかは御電話するとすればいじらしい
事実13: あの残り物活用法は氷嚢である
事実14: 「そのドアベルは御電話するしおまけにいじらしい」ということは嘘である

仮説: 「そのドアベルはいじらしくない」ということは確かである
1. 事実6から、推論1: "「御電話するしその上氷嚢でない」ものはある"が導かれる
2. 推論1と事実9から、推論2: "このアンティークショップは誦すない"が導かれる
3. 推論2と事実8から、推論3: "「そのドアベルは誦すししかもそれは収まり切れる」ということは嘘である"が導かれる
4. 事実2から、推論4: "「そのドアベルは誦すし収まり切れる」ということは間違っているなら「いじらしくない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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