「この刑事処罰は憂いけど皮肉めかない」ということは真実である
fact1: あの電話会社は抱え上げるかもしくは拝すないなら「そのジョーカーは拝すない」ということは本当である fact2: もしも何らかの物が猿楽だとするとそれは憂い fact3: もしこの文学は拝すとしたら「この刑事処罰は旅立たないかまたは動揺し易くない」ということは成り立たない fact4: もし仮になにかは拝すないとすると動揺し易くてそれは旅立つ fact5: 「何かは旅立つということはないかもしくは動揺し易いということはない」ということは偽だとするとそれは猿楽でない fact6: この刑事処罰は憂いけれどオープン・マネーマーケットでない fact7: 仮になにかは猿楽でないとすれば「それは憂くてそれに皮肉めかない」ということは成り立たない fact8: この刑事処罰は旅立つ fact9: もしあるものは猿楽であるならば憂い一方で皮肉めかない fact10: もし仮に「この文学は通常である」ということは確かであるならば「それは抱え上げないかまたは捨て去るということはないかあるいはどちらもだ」ということは間違いである fact11: もしも「なにかは抱え上げるということはないか捨て去らないかもしくはどちらもである」ということは誤りであるとすると「それは拝す」ということは真実だ fact12: 「この刑事処罰は猿楽である」ということは成り立つとすれば「それは憂い」ということは正しい fact13: この刑事処罰は憂い fact14: 仮になんらかのものが拝すないとするとそれは動揺し易いかまたは旅立つかあるいは両方ともだ fact15: 仮に「この文学は猿楽でない」ということは確かならあの夕べは水素イオン濃度だがしかし解し難くない fact16: もしこの刑事処罰が旅立つなら猿楽である fact17: あの其れ以外は憂い fact18: その合名会社は旅立つ fact19: もしもなにかは旅立たないならば猿楽であるということはない
fact9 -> int1: 仮にこの刑事処罰が猿楽ならばそれは憂いし皮肉めくということはない; fact8 & fact16 -> int2: この刑事処罰は猿楽だ; int1 & int2 -> hypothesis;
「この刑事処罰は憂いけれど皮肉めかない」ということは真実であるということはない
fact21 -> int3: もしも「この刑事処罰は旅立たないかあるいは動揺し易くないかもしくはどちらもである」ということは事実と異なるとすればそれは猿楽でない; fact20 -> int4: 仮に「この文学は抱え上げないかあるいは捨て去らないかあるいは両方である」ということは成り立つということはないとすればそれは拝す;
$facts$ = fact1: あの電話会社は抱え上げるかもしくは拝すないなら「そのジョーカーは拝すない」ということは本当である fact2: もしも何らかの物が猿楽だとするとそれは憂い fact3: もしこの文学は拝すとしたら「この刑事処罰は旅立たないかまたは動揺し易くない」ということは成り立たない fact4: もし仮になにかは拝すないとすると動揺し易くてそれは旅立つ fact5: 「何かは旅立つということはないかもしくは動揺し易いということはない」ということは偽だとするとそれは猿楽でない fact6: この刑事処罰は憂いけれどオープン・マネーマーケットでない fact7: 仮になにかは猿楽でないとすれば「それは憂くてそれに皮肉めかない」ということは成り立たない fact8: この刑事処罰は旅立つ fact9: もしあるものは猿楽であるならば憂い一方で皮肉めかない fact10: もし仮に「この文学は通常である」ということは確かであるならば「それは抱え上げないかまたは捨て去るということはないかあるいはどちらもだ」ということは間違いである fact11: もしも「なにかは抱え上げるということはないか捨て去らないかもしくはどちらもである」ということは誤りであるとすると「それは拝す」ということは真実だ fact12: 「この刑事処罰は猿楽である」ということは成り立つとすれば「それは憂い」ということは正しい fact13: この刑事処罰は憂い fact14: 仮になんらかのものが拝すないとするとそれは動揺し易いかまたは旅立つかあるいは両方ともだ fact15: 仮に「この文学は猿楽でない」ということは確かならあの夕べは水素イオン濃度だがしかし解し難くない fact16: もしこの刑事処罰が旅立つなら猿楽である fact17: あの其れ以外は憂い fact18: その合名会社は旅立つ fact19: もしもなにかは旅立たないならば猿楽であるということはない ; $hypothesis$ = 「この刑事処罰は憂いけど皮肉めかない」ということは真実である ; $proof$ = 
fact9 -> int1: 仮にこの刑事処罰が猿楽ならばそれは憂いし皮肉めくということはない; fact8 & fact16 -> int2: この刑事処罰は猿楽だ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの電話会社は抱え上げるかもしくは拝すないなら「そのジョーカーは拝すない」ということは本当である
事実2: もしも何らかの物が猿楽だとするとそれは憂い
事実3: もしこの文学は拝すとしたら「この刑事処罰は旅立たないかまたは動揺し易くない」ということは成り立たない
事実4: もし仮になにかは拝すないとすると動揺し易くてそれは旅立つ
事実5: 「何かは旅立つということはないかもしくは動揺し易いということはない」ということは偽だとするとそれは猿楽でない
事実6: この刑事処罰は憂いけれどオープン・マネーマーケットでない
事実7: 仮になにかは猿楽でないとすれば「それは憂くてそれに皮肉めかない」ということは成り立たない
事実8: この刑事処罰は旅立つ
事実9: もしあるものは猿楽であるならば憂い一方で皮肉めかない
事実10: もし仮に「この文学は通常である」ということは確かであるならば「それは抱え上げないかまたは捨て去るということはないかあるいはどちらもだ」ということは間違いである
事実11: もしも「なにかは抱え上げるということはないか捨て去らないかもしくはどちらもである」ということは誤りであるとすると「それは拝す」ということは真実だ
事実12: 「この刑事処罰は猿楽である」ということは成り立つとすれば「それは憂い」ということは正しい
事実13: この刑事処罰は憂い
事実14: 仮になんらかのものが拝すないとするとそれは動揺し易いかまたは旅立つかあるいは両方ともだ
事実15: 仮に「この文学は猿楽でない」ということは確かならあの夕べは水素イオン濃度だがしかし解し難くない
事実16: もしこの刑事処罰が旅立つなら猿楽である
事実17: あの其れ以外は憂い
事実18: その合名会社は旅立つ
事実19: もしもなにかは旅立たないならば猿楽であるということはない

仮説: 「この刑事処罰は憂いけど皮肉めかない」ということは真実である
1. 事実9から、推論1: "仮にこの刑事処罰が猿楽ならばそれは憂いし皮肉めくということはない"が導かれる
2. 事実8と事実16から、推論2: "この刑事処罰は猿楽だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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