そのタリバーズ荘はぱくつかない
fact1: 仮にそのフルニトラゼパムは展開すとしたら「このβ崩壊は紳士らしくないけど罷り成る」ということは嘘である fact2: 仮にある物は無くないならば「それはプロ並みでないかまたはそれは座り易い」ということは誤りである fact3: あの葬儀屋は心理描写でない fact4: もし仮に何かは御怪我であるとすれば「「それは微調整でないしおまけに心理描写だということはない」ということは事実である」ということは間違いである fact5: もしなんらかの物はジレット株でないなら「それは築き難いということはないしおまけに断熱するということはない」ということは成り立たない fact6: もし「あの葬儀屋はぱくつくしおまけにそれは心理描写だ」ということは成り立たないとしたらそのタリバーズ荘は運悪くない fact7: もしも「あの葬儀屋は欠かせるし運悪い」ということは誤っているとしたら「そのタリバーズ荘は心理描写でない」ということは正しい fact8: 「劣化ウラン弾である」物はあるとすると「あの葬儀屋は欠かせるし運悪い」ということは成り立たない fact9: 「仮にこのβ崩壊が罷り成らないとしたらこの焼き直しは白しないかまたはジレット株でないかまたは両方だ」ということは確かだ fact10: 「もし仮に何かは劣化ウラン弾ならぱくつく」ということは確かだ fact11: 「「劣化ウラン弾だ」ということは正しい」ものはある fact12: 「このβ崩壊は紳士らしくない一方で罷り成る」ということは間違っているとすると罷り成らない fact13: もし仮にあの葬儀屋が欠かせらないとするとそのタリバーズ荘は心理描写でない fact14: もし「あの葬儀屋は心理描写でないかあるいはぱくつくかまたは両方だ」ということは真実でないとすると「その各データベースは心理描写でない」ということは成り立つ fact15: なにがしかの物は心理描写でないならば「劣化ウラン弾だけど欠かせらない」ということは確かでない fact16: もし仮に「なにがしかの物はプロ並みでないかもしくはそれは座り易い」ということは誤っていればそれは御怪我である fact17: もし仮に「欠かせる」物はあるとすると「あの葬儀屋はぱくつくしそれは心理描写である」ということは成り立たない fact18: もし「あるものは劣化ウラン弾でないけれど欠かせる」ということは事実と異なるならぱくつく fact19: もしもなんらかの物が欠かせらないならばそれはぱくつかない fact20: 仮に「この焼き直しは築き難いということはないし断熱しない」ということは嘘だとするとあの葬儀屋は無くない fact21: もし仮にあるものが白しないかあるいはそれはジレット株でないならばジレット株でない fact22: なんらかのものは心理描写でないならばそれはぱくつくということはない fact23: 仮に「なんらかのものは微調整でないし心理描写でない」ということは嘘であるとすれば運悪くない
fact11 & fact8 -> int1: 「あの葬儀屋は欠かせるしかつ運悪い」ということは成り立つということはない; int1 & fact7 -> int2: 「そのタリバーズ荘は心理描写だということはない」ということは偽でない; fact22 -> int3: もしそのタリバーズ荘は心理描写だということはないとすれば「ぱくつかない」ということは本当だ; int2 & int3 -> hypothesis;
fact11 & fact8 -> int1: ¬({B}{a} & {C}{a}); int1 & fact7 -> int2: ¬{D}{b}; fact22 -> int3: ¬{D}{b} -> ¬{E}{b}; int2 & int3 -> hypothesis;
「そのタリバーズ荘はぱくつく」ということは事実である
fact27 -> int4: もしも「そのタリバーズ荘は劣化ウラン弾でないがそれは欠かせる」ということは正しくないとすればぱくつく; fact29 -> int5: もし仮に「あの葬儀屋は微調整でなくてその上心理描写でない」ということは成り立たないならば「運悪くない」ということは成り立つ; fact28 -> int6: もしもあの葬儀屋は御怪我であるとすれば「微調整であるということはなくて心理描写でない」ということは成り立つということはない; fact26 -> int7: もし仮に「あの葬儀屋はプロ並みでないか座り易い」ということは嘘であるとしたらそれは御怪我だ; fact25 -> int8: 仮にあの葬儀屋は無いということはないなら「それはプロ並みでないかもしくは座り易い」ということは成り立たない; fact32 -> int9: もしこの焼き直しはジレット株でないなら「築き難いということはないしさらに断熱しない」ということは偽である; fact34 -> int10: もしもこの焼き直しは白しないかもしくはジレット株でないかもしくはどちらもであるとすればジレット株でない;
$facts$ = fact1: 仮にそのフルニトラゼパムは展開すとしたら「このβ崩壊は紳士らしくないけど罷り成る」ということは嘘である fact2: 仮にある物は無くないならば「それはプロ並みでないかまたはそれは座り易い」ということは誤りである fact3: あの葬儀屋は心理描写でない fact4: もし仮に何かは御怪我であるとすれば「「それは微調整でないしおまけに心理描写だということはない」ということは事実である」ということは間違いである fact5: もしなんらかの物はジレット株でないなら「それは築き難いということはないしおまけに断熱するということはない」ということは成り立たない fact6: もし「あの葬儀屋はぱくつくしおまけにそれは心理描写だ」ということは成り立たないとしたらそのタリバーズ荘は運悪くない fact7: もしも「あの葬儀屋は欠かせるし運悪い」ということは誤っているとしたら「そのタリバーズ荘は心理描写でない」ということは正しい fact8: 「劣化ウラン弾である」物はあるとすると「あの葬儀屋は欠かせるし運悪い」ということは成り立たない fact9: 「仮にこのβ崩壊が罷り成らないとしたらこの焼き直しは白しないかまたはジレット株でないかまたは両方だ」ということは確かだ fact10: 「もし仮に何かは劣化ウラン弾ならぱくつく」ということは確かだ fact11: 「「劣化ウラン弾だ」ということは正しい」ものはある fact12: 「このβ崩壊は紳士らしくない一方で罷り成る」ということは間違っているとすると罷り成らない fact13: もし仮にあの葬儀屋が欠かせらないとするとそのタリバーズ荘は心理描写でない fact14: もし「あの葬儀屋は心理描写でないかあるいはぱくつくかまたは両方だ」ということは真実でないとすると「その各データベースは心理描写でない」ということは成り立つ fact15: なにがしかの物は心理描写でないならば「劣化ウラン弾だけど欠かせらない」ということは確かでない fact16: もし仮に「なにがしかの物はプロ並みでないかもしくはそれは座り易い」ということは誤っていればそれは御怪我である fact17: もし仮に「欠かせる」物はあるとすると「あの葬儀屋はぱくつくしそれは心理描写である」ということは成り立たない fact18: もし「あるものは劣化ウラン弾でないけれど欠かせる」ということは事実と異なるならぱくつく fact19: もしもなんらかの物が欠かせらないならばそれはぱくつかない fact20: 仮に「この焼き直しは築き難いということはないし断熱しない」ということは嘘だとするとあの葬儀屋は無くない fact21: もし仮にあるものが白しないかあるいはそれはジレット株でないならばジレット株でない fact22: なんらかのものは心理描写でないならばそれはぱくつくということはない fact23: 仮に「なんらかのものは微調整でないし心理描写でない」ということは嘘であるとすれば運悪くない ; $hypothesis$ = そのタリバーズ荘はぱくつかない ; $proof$ = 
fact11 & fact8 -> int1: 「あの葬儀屋は欠かせるしかつ運悪い」ということは成り立つということはない; int1 & fact7 -> int2: 「そのタリバーズ荘は心理描写だということはない」ということは偽でない; fact22 -> int3: もしそのタリバーズ荘は心理描写だということはないとすれば「ぱくつかない」ということは本当だ; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にそのフルニトラゼパムは展開すとしたら「このβ崩壊は紳士らしくないけど罷り成る」ということは嘘である
事実2: 仮にある物は無くないならば「それはプロ並みでないかまたはそれは座り易い」ということは誤りである
事実3: あの葬儀屋は心理描写でない
事実4: もし仮に何かは御怪我であるとすれば「「それは微調整でないしおまけに心理描写だということはない」ということは事実である」ということは間違いである
事実5: もしなんらかの物はジレット株でないなら「それは築き難いということはないしおまけに断熱するということはない」ということは成り立たない
事実6: もし「あの葬儀屋はぱくつくしおまけにそれは心理描写だ」ということは成り立たないとしたらそのタリバーズ荘は運悪くない
事実7: もしも「あの葬儀屋は欠かせるし運悪い」ということは誤っているとしたら「そのタリバーズ荘は心理描写でない」ということは正しい
事実8: 「劣化ウラン弾である」物はあるとすると「あの葬儀屋は欠かせるし運悪い」ということは成り立たない
事実9: 「仮にこのβ崩壊が罷り成らないとしたらこの焼き直しは白しないかまたはジレット株でないかまたは両方だ」ということは確かだ
事実10: 「もし仮に何かは劣化ウラン弾ならぱくつく」ということは確かだ
事実11: 「「劣化ウラン弾だ」ということは正しい」ものはある
事実12: 「このβ崩壊は紳士らしくない一方で罷り成る」ということは間違っているとすると罷り成らない
事実13: もし仮にあの葬儀屋が欠かせらないとするとそのタリバーズ荘は心理描写でない
事実14: もし「あの葬儀屋は心理描写でないかあるいはぱくつくかまたは両方だ」ということは真実でないとすると「その各データベースは心理描写でない」ということは成り立つ
事実15: なにがしかの物は心理描写でないならば「劣化ウラン弾だけど欠かせらない」ということは確かでない
事実16: もし仮に「なにがしかの物はプロ並みでないかもしくはそれは座り易い」ということは誤っていればそれは御怪我である
事実17: もし仮に「欠かせる」物はあるとすると「あの葬儀屋はぱくつくしそれは心理描写である」ということは成り立たない
事実18: もし「あるものは劣化ウラン弾でないけれど欠かせる」ということは事実と異なるならぱくつく
事実19: もしもなんらかの物が欠かせらないならばそれはぱくつかない
事実20: 仮に「この焼き直しは築き難いということはないし断熱しない」ということは嘘だとするとあの葬儀屋は無くない
事実21: もし仮にあるものが白しないかあるいはそれはジレット株でないならばジレット株でない
事実22: なんらかのものは心理描写でないならばそれはぱくつくということはない
事実23: 仮に「なんらかのものは微調整でないし心理描写でない」ということは嘘であるとすれば運悪くない

仮説: そのタリバーズ荘はぱくつかない
1. 事実11と事実8から、推論1: "「あの葬儀屋は欠かせるしかつ運悪い」ということは成り立つということはない"が導かれる
2. 推論1と事実7から、推論2: "「そのタリバーズ荘は心理描写だということはない」ということは偽でない"が導かれる
3. 事実22から、推論3: "もしそのタリバーズ荘は心理描写だということはないとすれば「ぱくつかない」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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