その気性難は引き分けでない
fact1: 「「あのホールケーキは悔しい」ということは間違いである」ということは確かだ fact2: 「なんらかの物は悔しいがしかし納得し易いということはない」ということは成り立たないとすると「引き分けである」ということは成り立つ fact3: もし仮に何かは押し詰まらないならばめでたしし引き分けだ fact4: 「「冗談ぽくないし加えてテレビ番組だ」ということは成り立たない」物はある fact5: もしあのホールケーキがめでたしとすればあのエネルギーＨνは悔しくないけど納得し易い fact6: もし仮にこの五反未満層が見分け難いならばそれはめでたしないし加えて押し詰まらない fact7: もし仮に「その全国規模はめでたしということはない」ということは成り立つならその気性難は引き分けだということはない fact8: 「この五反未満層は丸くない一方で自己負担する」ということは成り立たないならその全国規模はめでたしない fact9: もしもあのエネルギーＨνが納得し易いとしたらあのホールケーキは悔しい fact10: その全国規模が見分け難くてそれにキャノンＥＯＳだとすればあのホールケーキは押し詰まるということはない fact11: そのＨＰＬＣは自己負担しない fact12: 仮にこの五反未満層が丸くないがしかしそれが自己負担するとするとあのエネルギーＨνは納得し易い fact13: 仮になにかは見分け難いか沈降しないとしたらそれは見分け難い fact14: 仮に「その気性難は齎し易くない」ということは成り立つとしたらその全国規模は沈降しない fact15: あのエネルギーＨνは悔しくないがしかし納得し易いなら「この五反未満層は悔しくない」ということは真実である fact16: 仮にこの五反未満層が悔しくないとしたらこの採用は通じ易くないが消し飛ぶ
void -> assump1: 以下のように仮定する。この五反未満層は丸くないけど自己負担する; fact12 & assump1 -> int1: あのエネルギーＨνは納得し易い; int1 & fact9 -> int2: あのホールケーキは悔しい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この五反未満層は丸くないがしかし自己負担する」ということは誤りだ; int4 & fact8 -> int5: その全国規模はめでたしということはない; int5 & fact7 -> hypothesis;
「その気性難は引き分けである」ということは成り立つ
fact17 -> int6: もしも「その気性難は悔しいがしかし納得し易くない」ということは誤っているなら引き分けだ;
$facts$ = fact1: 「「あのホールケーキは悔しい」ということは間違いである」ということは確かだ fact2: 「なんらかの物は悔しいがしかし納得し易いということはない」ということは成り立たないとすると「引き分けである」ということは成り立つ fact3: もし仮に何かは押し詰まらないならばめでたしし引き分けだ fact4: 「「冗談ぽくないし加えてテレビ番組だ」ということは成り立たない」物はある fact5: もしあのホールケーキがめでたしとすればあのエネルギーＨνは悔しくないけど納得し易い fact6: もし仮にこの五反未満層が見分け難いならばそれはめでたしないし加えて押し詰まらない fact7: もし仮に「その全国規模はめでたしということはない」ということは成り立つならその気性難は引き分けだということはない fact8: 「この五反未満層は丸くない一方で自己負担する」ということは成り立たないならその全国規模はめでたしない fact9: もしもあのエネルギーＨνが納得し易いとしたらあのホールケーキは悔しい fact10: その全国規模が見分け難くてそれにキャノンＥＯＳだとすればあのホールケーキは押し詰まるということはない fact11: そのＨＰＬＣは自己負担しない fact12: 仮にこの五反未満層が丸くないがしかしそれが自己負担するとするとあのエネルギーＨνは納得し易い fact13: 仮になにかは見分け難いか沈降しないとしたらそれは見分け難い fact14: 仮に「その気性難は齎し易くない」ということは成り立つとしたらその全国規模は沈降しない fact15: あのエネルギーＨνは悔しくないがしかし納得し易いなら「この五反未満層は悔しくない」ということは真実である fact16: 仮にこの五反未満層が悔しくないとしたらこの採用は通じ易くないが消し飛ぶ ; $hypothesis$ = その気性難は引き分けでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この五反未満層は丸くないけど自己負担する; fact12 & assump1 -> int1: あのエネルギーＨνは納得し易い; int1 & fact9 -> int2: あのホールケーキは悔しい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この五反未満層は丸くないがしかし自己負担する」ということは誤りだ; int4 & fact8 -> int5: その全国規模はめでたしということはない; int5 & fact7 -> hypothesis; __PROVED__
事実1: 「「あのホールケーキは悔しい」ということは間違いである」ということは確かだ
事実2: 「なんらかの物は悔しいがしかし納得し易いということはない」ということは成り立たないとすると「引き分けである」ということは成り立つ
事実3: もし仮に何かは押し詰まらないならばめでたしし引き分けだ
事実4: 「「冗談ぽくないし加えてテレビ番組だ」ということは成り立たない」物はある
事実5: もしあのホールケーキがめでたしとすればあのエネルギーＨνは悔しくないけど納得し易い
事実6: もし仮にこの五反未満層が見分け難いならばそれはめでたしないし加えて押し詰まらない
事実7: もし仮に「その全国規模はめでたしということはない」ということは成り立つならその気性難は引き分けだということはない
事実8: 「この五反未満層は丸くない一方で自己負担する」ということは成り立たないならその全国規模はめでたしない
事実9: もしもあのエネルギーＨνが納得し易いとしたらあのホールケーキは悔しい
事実10: その全国規模が見分け難くてそれにキャノンＥＯＳだとすればあのホールケーキは押し詰まるということはない
事実11: そのＨＰＬＣは自己負担しない
事実12: 仮にこの五反未満層が丸くないがしかしそれが自己負担するとするとあのエネルギーＨνは納得し易い
事実13: 仮になにかは見分け難いか沈降しないとしたらそれは見分け難い
事実14: 仮に「その気性難は齎し易くない」ということは成り立つとしたらその全国規模は沈降しない
事実15: あのエネルギーＨνは悔しくないがしかし納得し易いなら「この五反未満層は悔しくない」ということは真実である
事実16: 仮にこの五反未満層が悔しくないとしたらこの採用は通じ易くないが消し飛ぶ

仮説: その気性難は引き分けでない
1. 仮定1: 以下のように仮定する。この五反未満層は丸くないけど自己負担する
2. 事実12と仮定1から、推論1: "あのエネルギーＨνは納得し易い"が導かれる
3. 推論1と事実9から、推論2: "あのホールケーキは悔しい"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この五反未満層は丸くないがしかし自己負担する」ということは誤りだ"が導かれる
6. 推論4と事実8から、推論5: "その全国規模はめでたしということはない"が導かれる
7. 推論5と事実7から、仮説が導かれる

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