「あの作業速度は御召しに因らないし優しくない」ということは成り立たない
fact1: もしそのジギタリス中毒が優しいとしたらあの作業速度は優しい fact2: あのぶっちぎりは藤原京時代であるならば「そのジギタリス中毒は藤原京時代である」ということは真実だ fact3: あのぶっちぎりは久し fact4: もし仮にあの御風呂場は割り引き券であるとすると藤原京時代だ fact5: 「あの作業速度は御召しに因るがしかしそれは優しくない」ということは成り立たない fact6: 「「優しい」ということは正しい」ものはある fact7: もしなにがしかのものが割り引き券だとすると聡い fact8: 「分科な」ものはある fact9: 仮にこの精肉店は御召しに因らないなら「あの作業速度は御召しに因らないしおまけに優しくない」ということは間違っている fact10: あの御風呂場は米粒大だということはない fact11: もし仮に「あの御風呂場は米粒大でない」ということは確かならそれは割り引き券だ fact12: もし何かは聡いとしたらそれは米粒大でなくて更にそれは割り引き券である fact13: もし「あの御風呂場は分科であるけど藤原京時代でない」ということは嘘であるなら分科でない fact14: 米粒大は御召しに因らないしさらに優しくない fact15: なにかは聡いし御召しに因る fact16: もしあのぶっちぎりは久しとしたら「藤原京時代である」ということは成り立つ fact17: あのぶっちぎりは割り引き券だ fact18: あの御風呂場が聡いならばあのジギタリス中毒は分科である fact19: もしなにがしかのものは分科であるということはないとしたら「割り引き券でなくておまけに聡くない」ということは間違いだ fact20: 「あの作業速度は御召しに因らないけれど優しい」ということは確かでない fact21: 「このコンコルド広場は動き易くなくて加えて薄汚くない」ということは成り立たない fact22: もしも分科は藤原京時代であるとすると「この精肉店は御召しに因らない」ということは事実だ fact23: あの作業速度は分科だ fact24: 仮になにがしかのものは米粒大でないとすると御召しに因る
fact11 & fact10 -> int1: あの御風呂場は割り引き券である; fact7 -> int2: もしあの御風呂場は割り引き券であるとしたらそれは聡い; int1 & int2 -> int3: あの御風呂場は聡い; int3 & fact18 -> int4: そのジギタリス中毒は分科だ; fact16 & fact3 -> int5: あのぶっちぎりは藤原京時代である; fact2 & int5 -> int6: そのジギタリス中毒は藤原京時代だ; int4 & int6 -> int7: そのジギタリス中毒は分科であるし藤原京時代である; int7 -> int8: 「あるものは分科であるし更に藤原京時代である」ということは真実だ; int8 & fact22 -> int9: この精肉店は御召しに因らない; int9 & fact9 -> hypothesis;
あの作業速度は御召しに因らなくて優しくない
fact27 -> int10: 「あの作業速度は米粒大だ」ということは本当ならそれが御召しに因るということはないしその上優しくない; fact26 -> int11: 仮にあの御風呂場は分科でないとしたら「それは割り引き券でないし更に聡くない」ということは成り立たない;
$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: 仮になにがしかのものは米粒大でないとすると御召しに因る ; $hypothesis$ = 「あの作業速度は御召しに因らないし優しくない」ということは成り立たない ; $proof$ = 
fact11 & fact10 -> int1: あの御風呂場は割り引き券である; fact7 -> int2: もしあの御風呂場は割り引き券であるとしたらそれは聡い; int1 & int2 -> int3: あの御風呂場は聡い; int3 & fact18 -> int4: そのジギタリス中毒は分科だ; fact16 & fact3 -> int5: あのぶっちぎりは藤原京時代である; fact2 & int5 -> int6: そのジギタリス中毒は藤原京時代だ; int4 & int6 -> int7: そのジギタリス中毒は分科であるし藤原京時代である; int7 -> int8: 「あるものは分科であるし更に藤原京時代である」ということは真実だ; int8 & fact22 -> int9: この精肉店は御召しに因らない; int9 & fact9 -> 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: あの作業速度は分科だ
事実24: 仮になにがしかのものは米粒大でないとすると御召しに因る

仮説: 「あの作業速度は御召しに因らないし優しくない」ということは成り立たない
1. 事実11と事実10から、推論1: "あの御風呂場は割り引き券である"が導かれる
2. 事実7から、推論2: "もしあの御風呂場は割り引き券であるとしたらそれは聡い"が導かれる
3. 推論1と推論2から、推論3: "あの御風呂場は聡い"が導かれる
4. 推論3と事実18から、推論4: "そのジギタリス中毒は分科だ"が導かれる
5. 事実16と事実3から、推論5: "あのぶっちぎりは藤原京時代である"が導かれる
6. 事実2と推論5から、推論6: "そのジギタリス中毒は藤原京時代だ"が導かれる
7. 推論4と推論6から、推論7: "そのジギタリス中毒は分科であるし藤原京時代である"が導かれる
8. 推論7から、推論8: "「あるものは分科であるし更に藤原京時代である」ということは真実だ"が導かれる
9. 推論8と事実22から、推論9: "この精肉店は御召しに因らない"が導かれる
10. 推論9と事実9から、仮説が導かれる

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