この街灯は豪語する
fact1: もし仮にその非嫡出子は作られ方であるならば免れない fact2: もし仮にその片麻痺者は面差しだということはないとすると「その非嫡出子は免れるが焼き始めない」ということは確かでない fact3: 「「その非嫡出子は焼き始める一方で面差しだということはない」ということは事実と異なる」ということは確かである fact4: 「その非嫡出子は免れるし面差しだ」ということは本当でない fact5: もしこの街灯が豪語しないがしかし焼き始めるとすればあの非嫡出子は免れる fact6: もしその非嫡出子が免れるならこの街灯は豪語する fact7: 仮に「「その非嫡出子は免れなくて加えて焼き始めない」ということは成り立たない」ということは本当であるとしたらこの街灯は豪語する fact8: もしその非嫡出子は調べ易くないとすると「その片麻痺者は焼き始めないし加えてそれは作られ方でない」ということは成り立たない fact9: その片麻痺者は焼き始めない fact10: 「この街灯は豪語するがそれは調べ易くない」ということは事実と異なる fact11: 仮にその片麻痺者は豪語しないならば「その非嫡出子は焼き始めなくておまけに面差しでない」ということは誤りである fact12: 仮に「その片麻痺者は作られ方だけど調べ易くない」ということは成り立たないならばそれは面差しでない fact13: もしもその片麻痺者が豪語するということはない一方でそれが免れればこの街灯は豪語しない fact14: その片麻痺者は面差しでないとしたら「その非嫡出子は免れなくて更にそれは焼き始めない」ということは成り立たない fact15: 「その片麻痺者は作られ方であるが調べ易くない」ということは間違っている fact16: もし仮にその非嫡出子は免れれば「その片麻痺者は面差しでないしその上焼灼しない」ということは偽である fact17: 「その非嫡出子は締めっぽいし更に豪語する」ということは偽だ
fact12 & fact15 -> int1: その片麻痺者は面差しであるということはない; int1 & fact14 -> int2: 「その非嫡出子は免れなくておまけに焼き始めない」ということは事実と異なる; int2 & fact7 -> hypothesis;
「その片麻痺者は面差しでないしそれにそれは焼灼するということはない」ということは誤りだ
$facts$ = fact1: もし仮にその非嫡出子は作られ方であるならば免れない fact2: もし仮にその片麻痺者は面差しだということはないとすると「その非嫡出子は免れるが焼き始めない」ということは確かでない fact3: 「「その非嫡出子は焼き始める一方で面差しだということはない」ということは事実と異なる」ということは確かである fact4: 「その非嫡出子は免れるし面差しだ」ということは本当でない fact5: もしこの街灯が豪語しないがしかし焼き始めるとすればあの非嫡出子は免れる fact6: もしその非嫡出子が免れるならこの街灯は豪語する fact7: 仮に「「その非嫡出子は免れなくて加えて焼き始めない」ということは成り立たない」ということは本当であるとしたらこの街灯は豪語する fact8: もしその非嫡出子は調べ易くないとすると「その片麻痺者は焼き始めないし加えてそれは作られ方でない」ということは成り立たない fact9: その片麻痺者は焼き始めない fact10: 「この街灯は豪語するがそれは調べ易くない」ということは事実と異なる fact11: 仮にその片麻痺者は豪語しないならば「その非嫡出子は焼き始めなくておまけに面差しでない」ということは誤りである fact12: 仮に「その片麻痺者は作られ方だけど調べ易くない」ということは成り立たないならばそれは面差しでない fact13: もしもその片麻痺者が豪語するということはない一方でそれが免れればこの街灯は豪語しない fact14: その片麻痺者は面差しでないとしたら「その非嫡出子は免れなくて更にそれは焼き始めない」ということは成り立たない fact15: 「その片麻痺者は作られ方であるが調べ易くない」ということは間違っている fact16: もし仮にその非嫡出子は免れれば「その片麻痺者は面差しでないしその上焼灼しない」ということは偽である fact17: 「その非嫡出子は締めっぽいし更に豪語する」ということは偽だ ; $hypothesis$ = この街灯は豪語する ; $proof$ = 
fact12 & fact15 -> int1: その片麻痺者は面差しであるということはない; int1 & fact14 -> int2: 「その非嫡出子は免れなくておまけに焼き始めない」ということは事実と異なる; int2 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にその非嫡出子は作られ方であるならば免れない
事実2: もし仮にその片麻痺者は面差しだということはないとすると「その非嫡出子は免れるが焼き始めない」ということは確かでない
事実3: 「「その非嫡出子は焼き始める一方で面差しだということはない」ということは事実と異なる」ということは確かである
事実4: 「その非嫡出子は免れるし面差しだ」ということは本当でない
事実5: もしこの街灯が豪語しないがしかし焼き始めるとすればあの非嫡出子は免れる
事実6: もしその非嫡出子が免れるならこの街灯は豪語する
事実7: 仮に「「その非嫡出子は免れなくて加えて焼き始めない」ということは成り立たない」ということは本当であるとしたらこの街灯は豪語する
事実8: もしその非嫡出子は調べ易くないとすると「その片麻痺者は焼き始めないし加えてそれは作られ方でない」ということは成り立たない
事実9: その片麻痺者は焼き始めない
事実10: 「この街灯は豪語するがそれは調べ易くない」ということは事実と異なる
事実11: 仮にその片麻痺者は豪語しないならば「その非嫡出子は焼き始めなくておまけに面差しでない」ということは誤りである
事実12: 仮に「その片麻痺者は作られ方だけど調べ易くない」ということは成り立たないならばそれは面差しでない
事実13: もしもその片麻痺者が豪語するということはない一方でそれが免れればこの街灯は豪語しない
事実14: その片麻痺者は面差しでないとしたら「その非嫡出子は免れなくて更にそれは焼き始めない」ということは成り立たない
事実15: 「その片麻痺者は作られ方であるが調べ易くない」ということは間違っている
事実16: もし仮にその非嫡出子は免れれば「その片麻痺者は面差しでないしその上焼灼しない」ということは偽である
事実17: 「その非嫡出子は締めっぽいし更に豪語する」ということは偽だ

仮説: この街灯は豪語する
1. 事実12と事実15から、推論1: "その片麻痺者は面差しであるということはない"が導かれる
2. 推論1と事実14から、推論2: "「その非嫡出子は免れなくておまけに焼き始めない」ということは事実と異なる"が導かれる
3. 推論2と事実7から、仮説が導かれる

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