「何かは気恥ずかしくて退屈する」ということは成り立つということはない
fact1: もしあの背後霊が熱し易いということはないとすると気恥ずかしい fact2: もしその鸛が退屈しないが熱し易いならばあの背後霊は説明し難くない fact3: 「あの背後霊は世界語でないかあるいは熱し易いかどちらもだ」ということは成り立たないならあの奥向きは退屈する fact4: 「その鸛は親炙しないかあるいは割り振るかもしくは両方ともだ」ということは確かでない fact5: 「あの背後霊は熱し易い」ということは偽だということはないとすれば「この映画完成保証保険会社は気恥ずかしくなくて御預けない」ということは間違っている fact6: あの背後霊は御預けるし世界語である fact7: あの奥向きは気恥ずかしい fact8: 仮に「その鸛は割り振るということはないし説明し難くない」ということは誤っているとしたらあの背後霊は親炙しない fact9: もしこの第四十五回大会要旨集は世界語だとすれば「あの背後霊は御預けないがしかし薄ら寒い」ということは誤っている fact10: もし仮にこの第四十五回大会要旨集は薄ら寒いならば「その鸛は割り振るけれど説明し難くない」ということは誤っている fact11: もし仮に「この第四十五回大会要旨集は割り振らないけれどそれは擦り剥ける」ということは成り立つとしたらあの背後霊は親炙しない fact12: この映画完成保証保険会社は御預けるということはないけど熱狂する fact13: 「何かは気恥ずかしい」ということは成り立つ fact14: もし仮にあの背後霊は親炙しないとしたら「それは世界語でないか熱し易い」ということは成り立たない fact15: もしもこの映画完成保証保険会社が御預けるし熱狂するならこの第四十五回大会要旨集は擦り剥けるということはない fact16: 「その鸛は割り振る」ということは成り立つとすればあの背後霊は親炙しない fact17: 仮に「この第四十五回大会要旨集は薄ら寒い」ということは成り立つとすると「その鸛は割り振らなくてそれは説明し難くない」ということは偽である fact18: 仮に「あの背後霊は親炙する」ということは間違いであるならばそれは世界語だ fact19: 「その鸛は割り振るが説明し難くない」ということは間違っている fact20: 「あの奥向きは擦り剥けない」ということは間違いでない fact21: 仮にこの映画完成保証保険会社が御預けないがそれは熱狂するとすれば「この第四十五回大会要旨集は擦り剥けない」ということは誤りでない fact22: 仮にあの奥向きが世界語でないが気恥ずかしいとするとあの背後霊は親炙しない fact23: もしも「あの背後霊は擦り剥けるということはなくて親炙しない」ということは成り立つということはないとしたらこの第四十五回大会要旨集は世界語でない fact24: もしも「この第四十五回大会要旨集は擦り剥けない」ということは成り立てば薄ら寒い fact25: あるものは説明し難い fact26: もしも「この全人格は薄ら寒い」ということは成り立てば「それは優雅でないしさらにそれは割り振るということはない」ということは成り立たない fact27: あるものは親炙するし世界語だ
fact21 & fact12 -> int1: この第四十五回大会要旨集は擦り剥けない; int1 & fact24 -> int2: この第四十五回大会要旨集は薄ら寒い; int2 & fact17 -> int3: 「その鸛は割り振らなくて説明し難くない」ということは間違っている; int3 & fact8 -> int4: あの背後霊は親炙するということはない; int4 & fact14 -> int5: 「あの背後霊は世界語でないかまたは熱し易い」ということは成り立たない; int5 & fact3 -> int6: あの奥向きは退屈する; int6 & fact7 -> int7: あの奥向きは気恥ずかしくてさらにそれは退屈する; int7 -> hypothesis;
「この全人格は優雅でないしまたそれは割り振らない」ということは成り立たない
$facts$ = fact1: もしあの背後霊が熱し易いということはないとすると気恥ずかしい fact2: もしその鸛が退屈しないが熱し易いならばあの背後霊は説明し難くない fact3: 「あの背後霊は世界語でないかあるいは熱し易いかどちらもだ」ということは成り立たないならあの奥向きは退屈する fact4: 「その鸛は親炙しないかあるいは割り振るかもしくは両方ともだ」ということは確かでない fact5: 「あの背後霊は熱し易い」ということは偽だということはないとすれば「この映画完成保証保険会社は気恥ずかしくなくて御預けない」ということは間違っている fact6: あの背後霊は御預けるし世界語である fact7: あの奥向きは気恥ずかしい fact8: 仮に「その鸛は割り振るということはないし説明し難くない」ということは誤っているとしたらあの背後霊は親炙しない fact9: もしこの第四十五回大会要旨集は世界語だとすれば「あの背後霊は御預けないがしかし薄ら寒い」ということは誤っている fact10: もし仮にこの第四十五回大会要旨集は薄ら寒いならば「その鸛は割り振るけれど説明し難くない」ということは誤っている fact11: もし仮に「この第四十五回大会要旨集は割り振らないけれどそれは擦り剥ける」ということは成り立つとしたらあの背後霊は親炙しない fact12: この映画完成保証保険会社は御預けるということはないけど熱狂する fact13: 「何かは気恥ずかしい」ということは成り立つ fact14: もし仮にあの背後霊は親炙しないとしたら「それは世界語でないか熱し易い」ということは成り立たない fact15: もしもこの映画完成保証保険会社が御預けるし熱狂するならこの第四十五回大会要旨集は擦り剥けるということはない fact16: 「その鸛は割り振る」ということは成り立つとすればあの背後霊は親炙しない fact17: 仮に「この第四十五回大会要旨集は薄ら寒い」ということは成り立つとすると「その鸛は割り振らなくてそれは説明し難くない」ということは偽である fact18: 仮に「あの背後霊は親炙する」ということは間違いであるならばそれは世界語だ fact19: 「その鸛は割り振るが説明し難くない」ということは間違っている fact20: 「あの奥向きは擦り剥けない」ということは間違いでない fact21: 仮にこの映画完成保証保険会社が御預けないがそれは熱狂するとすれば「この第四十五回大会要旨集は擦り剥けない」ということは誤りでない fact22: 仮にあの奥向きが世界語でないが気恥ずかしいとするとあの背後霊は親炙しない fact23: もしも「あの背後霊は擦り剥けるということはなくて親炙しない」ということは成り立つということはないとしたらこの第四十五回大会要旨集は世界語でない fact24: もしも「この第四十五回大会要旨集は擦り剥けない」ということは成り立てば薄ら寒い fact25: あるものは説明し難い fact26: もしも「この全人格は薄ら寒い」ということは成り立てば「それは優雅でないしさらにそれは割り振るということはない」ということは成り立たない fact27: あるものは親炙するし世界語だ ; $hypothesis$ = 「何かは気恥ずかしくて退屈する」ということは成り立つということはない ; $proof$ = 
fact21 & fact12 -> int1: この第四十五回大会要旨集は擦り剥けない; int1 & fact24 -> int2: この第四十五回大会要旨集は薄ら寒い; int2 & fact17 -> int3: 「その鸛は割り振らなくて説明し難くない」ということは間違っている; int3 & fact8 -> int4: あの背後霊は親炙するということはない; int4 & fact14 -> int5: 「あの背後霊は世界語でないかまたは熱し易い」ということは成り立たない; int5 & fact3 -> int6: あの奥向きは退屈する; int6 & fact7 -> int7: あの奥向きは気恥ずかしくてさらにそれは退屈する; int7 -> hypothesis; __DISPROVED__
事実1: もしあの背後霊が熱し易いということはないとすると気恥ずかしい
事実2: もしその鸛が退屈しないが熱し易いならばあの背後霊は説明し難くない
事実3: 「あの背後霊は世界語でないかあるいは熱し易いかどちらもだ」ということは成り立たないならあの奥向きは退屈する
事実4: 「その鸛は親炙しないかあるいは割り振るかもしくは両方ともだ」ということは確かでない
事実5: 「あの背後霊は熱し易い」ということは偽だということはないとすれば「この映画完成保証保険会社は気恥ずかしくなくて御預けない」ということは間違っている
事実6: あの背後霊は御預けるし世界語である
事実7: あの奥向きは気恥ずかしい
事実8: 仮に「その鸛は割り振るということはないし説明し難くない」ということは誤っているとしたらあの背後霊は親炙しない
事実9: もしこの第四十五回大会要旨集は世界語だとすれば「あの背後霊は御預けないがしかし薄ら寒い」ということは誤っている
事実10: もし仮にこの第四十五回大会要旨集は薄ら寒いならば「その鸛は割り振るけれど説明し難くない」ということは誤っている
事実11: もし仮に「この第四十五回大会要旨集は割り振らないけれどそれは擦り剥ける」ということは成り立つとしたらあの背後霊は親炙しない
事実12: この映画完成保証保険会社は御預けるということはないけど熱狂する
事実13: 「何かは気恥ずかしい」ということは成り立つ
事実14: もし仮にあの背後霊は親炙しないとしたら「それは世界語でないか熱し易い」ということは成り立たない
事実15: もしもこの映画完成保証保険会社が御預けるし熱狂するならこの第四十五回大会要旨集は擦り剥けるということはない
事実16: 「その鸛は割り振る」ということは成り立つとすればあの背後霊は親炙しない
事実17: 仮に「この第四十五回大会要旨集は薄ら寒い」ということは成り立つとすると「その鸛は割り振らなくてそれは説明し難くない」ということは偽である
事実18: 仮に「あの背後霊は親炙する」ということは間違いであるならばそれは世界語だ
事実19: 「その鸛は割り振るが説明し難くない」ということは間違っている
事実20: 「あの奥向きは擦り剥けない」ということは間違いでない
事実21: 仮にこの映画完成保証保険会社が御預けないがそれは熱狂するとすれば「この第四十五回大会要旨集は擦り剥けない」ということは誤りでない
事実22: 仮にあの奥向きが世界語でないが気恥ずかしいとするとあの背後霊は親炙しない
事実23: もしも「あの背後霊は擦り剥けるということはなくて親炙しない」ということは成り立つということはないとしたらこの第四十五回大会要旨集は世界語でない
事実24: もしも「この第四十五回大会要旨集は擦り剥けない」ということは成り立てば薄ら寒い
事実25: あるものは説明し難い
事実26: もしも「この全人格は薄ら寒い」ということは成り立てば「それは優雅でないしさらにそれは割り振るということはない」ということは成り立たない
事実27: あるものは親炙するし世界語だ

仮説: 「何かは気恥ずかしくて退屈する」ということは成り立つということはない
1. 事実21と事実12から、推論1: "この第四十五回大会要旨集は擦り剥けない"が導かれる
2. 推論1と事実24から、推論2: "この第四十五回大会要旨集は薄ら寒い"が導かれる
3. 推論2と事実17から、推論3: "「その鸛は割り振らなくて説明し難くない」ということは間違っている"が導かれる
4. 推論3と事実8から、推論4: "あの背後霊は親炙するということはない"が導かれる
5. 推論4と事実14から、推論5: "「あの背後霊は世界語でないかまたは熱し易い」ということは成り立たない"が導かれる
6. 推論5と事実3から、推論6: "あの奥向きは退屈する"が導かれる
7. 推論6と事実7から、推論7: "あの奥向きは気恥ずかしくてさらにそれは退屈する"が導かれる
8. 推論7から、仮説が否定される

よって、仮説が否定されました。