その主力馬券は危うくない
fact1: もしも「その豚汁は皮肉っぽいししかもそれは烏滸がましい」ということは誤りであるとすればあの戯苑は皮肉っぽくない fact2: 「「皮肉っぽいがしかし揉み込むということはない」ということは成り立たない」ものはある fact3: なんらかのものは揉み込まない fact4: もし「タンギングでない」ものがあるならばあの打撃系は切り替えるしＤＮＳサーバだ fact5: 「その登録除外は危うい」ということは真実だ fact6: もしあの戯苑が皮肉っぽくないならその登録除外は有り余るか全労働日である fact7: 「「あの戯苑は疑い深くないしさらに有り余らない」ということは正しい」ということは成り立たないとするとその主力馬券は危うくない fact8: もしもなにがしかのものが有り余らないとすると疑い深くないしその上しょっぱいない fact9: その登録除外は疑い深くないとしたら「あの戯苑は疑い深いということはないしそれにそれは有り余らない」ということは正しくない fact10: もしもその登録除外は疑い深いということはないとしたら「あの戯苑は疑い深いけれどそれは有り余らない」ということは間違っている fact11: 「あの戯苑は疑い深いけど有り余らない」ということは真実だということはない fact12: 仮にあの戯苑が疑い深いとするとその主力馬券は危うくない fact13: その登録除外はしょっぱい fact14: その登録除外はタンギングである fact15: しょっぱくない物は危ういしタンギングである fact16: もしもその登録除外はタンギングでないなら「その主力馬券はタンギングでないけど危うい」ということは本当でない fact17: しょっぱいタンギングは疑い深くない fact18: もしあの戯苑が皮肉っぽくないとしたらその登録除外は全労働日でしかも危うい fact19: もしもなにがしかの物は有り余るということはないならば「しょっぱいしおまけに疑い深い」ということは確かでない fact20: 仮に「「皮肉っぽいしかつ揉み込まない」ということは誤りな」ものがあるならばあの戯苑は皮肉っぽくない
fact14 & fact13 -> int1: その登録除外はタンギングでしょっぱい; fact17 -> int2: もしもその登録除外はタンギングであるししかもしょっぱいならば疑い深くない; int1 & int2 -> int3: 「その登録除外は疑い深くない」ということは事実と異ならない; int3 & fact9 -> int4: 「あの戯苑は疑い深くなくてその上それは有り余らない」ということは事実と異なる; int4 & fact7 -> hypothesis;
あの打撃系は切り替えるしＤＮＳサーバだ
fact25 -> int5: その登録除外は有り余るということはないとしたら「しょっぱくておまけにそれは疑い深い」ということは誤りである; fact24 & fact23 -> int6: あの戯苑は皮肉っぽくない; fact21 & int6 -> int7: その登録除外は全労働日であるしその上危うい; int7 -> int8: 「その登録除外は危うい」ということは成り立つ;
$facts$ = fact1: もしも「その豚汁は皮肉っぽいししかもそれは烏滸がましい」ということは誤りであるとすればあの戯苑は皮肉っぽくない fact2: 「「皮肉っぽいがしかし揉み込むということはない」ということは成り立たない」ものはある fact3: なんらかのものは揉み込まない fact4: もし「タンギングでない」ものがあるならばあの打撃系は切り替えるしＤＮＳサーバだ fact5: 「その登録除外は危うい」ということは真実だ fact6: もしあの戯苑が皮肉っぽくないならその登録除外は有り余るか全労働日である fact7: 「「あの戯苑は疑い深くないしさらに有り余らない」ということは正しい」ということは成り立たないとするとその主力馬券は危うくない fact8: もしもなにがしかのものが有り余らないとすると疑い深くないしその上しょっぱいない fact9: その登録除外は疑い深くないとしたら「あの戯苑は疑い深いということはないしそれにそれは有り余らない」ということは正しくない fact10: もしもその登録除外は疑い深いということはないとしたら「あの戯苑は疑い深いけれどそれは有り余らない」ということは間違っている fact11: 「あの戯苑は疑い深いけど有り余らない」ということは真実だということはない fact12: 仮にあの戯苑が疑い深いとするとその主力馬券は危うくない fact13: その登録除外はしょっぱい fact14: その登録除外はタンギングである fact15: しょっぱくない物は危ういしタンギングである fact16: もしもその登録除外はタンギングでないなら「その主力馬券はタンギングでないけど危うい」ということは本当でない fact17: しょっぱいタンギングは疑い深くない fact18: もしあの戯苑が皮肉っぽくないとしたらその登録除外は全労働日でしかも危うい fact19: もしもなにがしかの物は有り余るということはないならば「しょっぱいしおまけに疑い深い」ということは確かでない fact20: 仮に「「皮肉っぽいしかつ揉み込まない」ということは誤りな」ものがあるならばあの戯苑は皮肉っぽくない ; $hypothesis$ = その主力馬券は危うくない ; $proof$ = 
fact14 & fact13 -> int1: その登録除外はタンギングでしょっぱい; fact17 -> int2: もしもその登録除外はタンギングであるししかもしょっぱいならば疑い深くない; int1 & int2 -> int3: 「その登録除外は疑い深くない」ということは事実と異ならない; int3 & fact9 -> int4: 「あの戯苑は疑い深くなくてその上それは有り余らない」ということは事実と異なる; int4 & fact7 -> hypothesis; __PROVED__
事実1: もしも「その豚汁は皮肉っぽいししかもそれは烏滸がましい」ということは誤りであるとすればあの戯苑は皮肉っぽくない
事実2: 「「皮肉っぽいがしかし揉み込むということはない」ということは成り立たない」ものはある
事実3: なんらかのものは揉み込まない
事実4: もし「タンギングでない」ものがあるならばあの打撃系は切り替えるしＤＮＳサーバだ
事実5: 「その登録除外は危うい」ということは真実だ
事実6: もしあの戯苑が皮肉っぽくないならその登録除外は有り余るか全労働日である
事実7: 「「あの戯苑は疑い深くないしさらに有り余らない」ということは正しい」ということは成り立たないとするとその主力馬券は危うくない
事実8: もしもなにがしかのものが有り余らないとすると疑い深くないしその上しょっぱいない
事実9: その登録除外は疑い深くないとしたら「あの戯苑は疑い深いということはないしそれにそれは有り余らない」ということは正しくない
事実10: もしもその登録除外は疑い深いということはないとしたら「あの戯苑は疑い深いけれどそれは有り余らない」ということは間違っている
事実11: 「あの戯苑は疑い深いけど有り余らない」ということは真実だということはない
事実12: 仮にあの戯苑が疑い深いとするとその主力馬券は危うくない
事実13: その登録除外はしょっぱい
事実14: その登録除外はタンギングである
事実15: しょっぱくない物は危ういしタンギングである
事実16: もしもその登録除外はタンギングでないなら「その主力馬券はタンギングでないけど危うい」ということは本当でない
事実17: しょっぱいタンギングは疑い深くない
事実18: もしあの戯苑が皮肉っぽくないとしたらその登録除外は全労働日でしかも危うい
事実19: もしもなにがしかの物は有り余るということはないならば「しょっぱいしおまけに疑い深い」ということは確かでない
事実20: 仮に「「皮肉っぽいしかつ揉み込まない」ということは誤りな」ものがあるならばあの戯苑は皮肉っぽくない

仮説: その主力馬券は危うくない
1. 事実14と事実13から、推論1: "その登録除外はタンギングでしょっぱい"が導かれる
2. 事実17から、推論2: "もしもその登録除外はタンギングであるししかもしょっぱいならば疑い深くない"が導かれる
3. 推論1と推論2から、推論3: "「その登録除外は疑い深くない」ということは事実と異ならない"が導かれる
4. 推論3と事実9から、推論4: "「あの戯苑は疑い深くなくてその上それは有り余らない」ということは事実と異なる"が導かれる
5. 推論4と事実7から、仮説が導かれる

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