この慣例は冷め難くない
fact1: もしも「なにかは起き易くない」ということは真実であるとすると言い表わせるない fact2: 「なんらかの物は冷め難くないかもしくは起き易いか両方ともだ」ということは間違いであるとすると良くない fact3: この一辺倒は良くないとすると「嫉むし騙され易い」ということは成り立つということはない fact4: 仮に「何かは言い表わせるということはない」ということは確かであるならそれは移行し易いしその上冷め難い fact5: 何もかもは移行し易くないかもしくは言い表わせるない fact6: この一辺倒は良くない fact7: あの絶句は移行し易くないか往生出来ない fact8: その優先株式が言い表わせるということはないとしたらあの絶句は起き易い fact9: もしもその優先株式が冷め難いかもしくは嫉むとすれば「この慣例は移行し易くない」ということは本当である fact10: もしも「なにかは嫉まないかあるいはそれは良い」ということは事実でないとすればそれは冷め難くない fact11: もし仮にその優先株式が移行し易くないとするとあの絶句は起き易い fact12: この一辺倒は五倍しないとしたら「この慣例は嫉まないかあるいは良いかあるいはどちらもだ」ということは本当でない fact13: もしもあの絶句が起き易いとすればその釜屋は渋い fact14: もしその釜屋がセフェム系抗生物質であるならばあの絶句は渋い fact15: もし「「この慣例はセフェム系抗生物質であるかもしくは移行し易いかもしくは両方ともだ」ということは成り立たない」ということは正しいならば良くない fact16: もし仮にこの慣例が移行し易いとしたらその優先株式は冷め難い fact17: もし仮に何らかのものが嫉まないならセフェム系抗生物質だし五倍する fact18: もし仮にその釜屋がセフェム系抗生物質であるかもしくは渋いかあるいはどちらもだとするとこの一辺倒は五倍するということはない
fact5 -> int1: その優先株式は移行し易くないかあるいは言い表わせるないかもしくは両方だ; int1 & fact11 & fact8 -> int2: あの絶句は起き易い; int2 & fact13 -> int3: その釜屋は渋い; int3 -> int4: その釜屋はセフェム系抗生物質であるか渋いかまたは両方ともだ; int4 & fact18 -> int5: この一辺倒は五倍しない; int5 & fact12 -> int6: 「この慣例は嫉まないかそれは良い」ということは偽である; fact10 -> int7: もし「この慣例は嫉まないかあるいは良いかまたは両方ともだ」ということは成り立たないならば「それは冷め難いということはない」ということは誤っていない; int6 & int7 -> hypothesis;
この慣例は冷め難い
fact19 -> int8: もしもこの慣例は言い表わせるないとすると「移行し易くてそれにそれは冷め難い」ということは成り立つ; fact20 -> int9: もしもこの慣例が起き易くないとすれば言い表わせるない; fact22 -> int10: もしもその釜屋が嫉まないならばそれはセフェム系抗生物質でそれは五倍する; fact24 & fact21 -> int11: 「この一辺倒は嫉むしそれは騙され易い」ということは成り立たない; int11 -> int12: 「「嫉むしかつ騙され易い」ということは間違いな」ものはある;
$facts$ = fact1: もしも「なにかは起き易くない」ということは真実であるとすると言い表わせるない fact2: 「なんらかの物は冷め難くないかもしくは起き易いか両方ともだ」ということは間違いであるとすると良くない fact3: この一辺倒は良くないとすると「嫉むし騙され易い」ということは成り立つということはない fact4: 仮に「何かは言い表わせるということはない」ということは確かであるならそれは移行し易いしその上冷め難い fact5: 何もかもは移行し易くないかもしくは言い表わせるない fact6: この一辺倒は良くない fact7: あの絶句は移行し易くないか往生出来ない fact8: その優先株式が言い表わせるということはないとしたらあの絶句は起き易い fact9: もしもその優先株式が冷め難いかもしくは嫉むとすれば「この慣例は移行し易くない」ということは本当である fact10: もしも「なにかは嫉まないかあるいはそれは良い」ということは事実でないとすればそれは冷め難くない fact11: もし仮にその優先株式が移行し易くないとするとあの絶句は起き易い fact12: この一辺倒は五倍しないとしたら「この慣例は嫉まないかあるいは良いかあるいはどちらもだ」ということは本当でない fact13: もしもあの絶句が起き易いとすればその釜屋は渋い fact14: もしその釜屋がセフェム系抗生物質であるならばあの絶句は渋い fact15: もし「「この慣例はセフェム系抗生物質であるかもしくは移行し易いかもしくは両方ともだ」ということは成り立たない」ということは正しいならば良くない fact16: もし仮にこの慣例が移行し易いとしたらその優先株式は冷め難い fact17: もし仮に何らかのものが嫉まないならセフェム系抗生物質だし五倍する fact18: もし仮にその釜屋がセフェム系抗生物質であるかもしくは渋いかあるいはどちらもだとするとこの一辺倒は五倍するということはない ; $hypothesis$ = この慣例は冷め難くない ; $proof$ = 
fact5 -> int1: その優先株式は移行し易くないかあるいは言い表わせるないかもしくは両方だ; int1 & fact11 & fact8 -> int2: あの絶句は起き易い; int2 & fact13 -> int3: その釜屋は渋い; int3 -> int4: その釜屋はセフェム系抗生物質であるか渋いかまたは両方ともだ; int4 & fact18 -> int5: この一辺倒は五倍しない; int5 & fact12 -> int6: 「この慣例は嫉まないかそれは良い」ということは偽である; fact10 -> int7: もし「この慣例は嫉まないかあるいは良いかまたは両方ともだ」ということは成り立たないならば「それは冷め難いということはない」ということは誤っていない; int6 & int7 -> hypothesis; __PROVED__
事実1: もしも「なにかは起き易くない」ということは真実であるとすると言い表わせるない
事実2: 「なんらかの物は冷め難くないかもしくは起き易いか両方ともだ」ということは間違いであるとすると良くない
事実3: この一辺倒は良くないとすると「嫉むし騙され易い」ということは成り立つということはない
事実4: 仮に「何かは言い表わせるということはない」ということは確かであるならそれは移行し易いしその上冷め難い
事実5: 何もかもは移行し易くないかもしくは言い表わせるない
事実6: この一辺倒は良くない
事実7: あの絶句は移行し易くないか往生出来ない
事実8: その優先株式が言い表わせるということはないとしたらあの絶句は起き易い
事実9: もしもその優先株式が冷め難いかもしくは嫉むとすれば「この慣例は移行し易くない」ということは本当である
事実10: もしも「なにかは嫉まないかあるいはそれは良い」ということは事実でないとすればそれは冷め難くない
事実11: もし仮にその優先株式が移行し易くないとするとあの絶句は起き易い
事実12: この一辺倒は五倍しないとしたら「この慣例は嫉まないかあるいは良いかあるいはどちらもだ」ということは本当でない
事実13: もしもあの絶句が起き易いとすればその釜屋は渋い
事実14: もしその釜屋がセフェム系抗生物質であるならばあの絶句は渋い
事実15: もし「「この慣例はセフェム系抗生物質であるかもしくは移行し易いかもしくは両方ともだ」ということは成り立たない」ということは正しいならば良くない
事実16: もし仮にこの慣例が移行し易いとしたらその優先株式は冷め難い
事実17: もし仮に何らかのものが嫉まないならセフェム系抗生物質だし五倍する
事実18: もし仮にその釜屋がセフェム系抗生物質であるかもしくは渋いかあるいはどちらもだとするとこの一辺倒は五倍するということはない

仮説: この慣例は冷め難くない
1. 事実5から、推論1: "その優先株式は移行し易くないかあるいは言い表わせるないかもしくは両方だ"が導かれる
2. 推論1と事実11と事実8から、推論2: "あの絶句は起き易い"が導かれる
3. 推論2と事実13から、推論3: "その釜屋は渋い"が導かれる
4. 推論3から、推論4: "その釜屋はセフェム系抗生物質であるか渋いかまたは両方ともだ"が導かれる
5. 推論4と事実18から、推論5: "この一辺倒は五倍しない"が導かれる
6. 推論5と事実12から、推論6: "「この慣例は嫉まないかそれは良い」ということは偽である"が導かれる
7. 事実10から、推論7: "もし「この慣例は嫉まないかあるいは良いかまたは両方ともだ」ということは成り立たないならば「それは冷め難いということはない」ということは誤っていない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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