この試験官は溶け易くない
fact1: もしこのＸＹＺは雄々しいとしたら「この試験官はたどたどしくないししかもそれは与え易いということはない」ということは嘘である fact2: 「「浅黒いしそれに変え難くない」ということは偽な」ものがあるならこの格差はたどたどしい fact3: もし仮にこの格差がたどたどしいとするとそれは与え易い fact4: この格差は与え易くない fact5: 仮に与え易い物があるとすればあのＸＹＺは浅黒い fact6: この格差が順位付けでしかもそれが滅諦だとしたらこのＸＹＺは雄々しかない fact7: もしもこのＸＹＺは変え難くないとすると「「この格差は浅黒いしそれに与え易い」ということは成り立つ」ということは事実と異なる fact8: この試験官は溶け易くないとしたら「「このＸＹＺは浅黒いけれどそれは変え難くない」ということは本当である」ということは成り立たない fact9: 仮に「その社外監査役は生じ難くないかあるいは恙無いかもしくは両方ともである」ということは事実だとすれば「この格差は滅諦だ」ということは本当である fact10: 掛かり易いものは御贈りする fact11: 何らかの物が雄々しいということはないとしたらそれは与え易いししかもたどたどしくない fact12: もし仮に「「掛かり易いということはないけど読み易い」ということは成り立たない」物があればこの格差は掛かり易い fact13: あの権利は掘り当てる fact14: なんらかの物は御贈りするとすれば「それは順位付けである」ということは誤っていない fact15: このＸＹＺが恙無いならばそれは御贈りしないし順位付けでない fact16: もしもなにかは御贈りしないしさらにそれは順位付けでないならばそれは滅諦である fact17: もしも「とある物は生じ難くないしかつ恙無くない」ということは嘘であるとすると恙無い fact18: もしこのＸＹＺが滅諦ならばそれは雄々しい fact19: もしその社外監査役が土師器でないとすると生じ難いということはないかまたはそれは恙無い fact20: 「「掛かり易くないけど読み易い」ということは成り立たない」ものはある
void -> assump1: 以下のように仮定する。この試験官は溶け易くない; fact8 & assump1 -> int1: 「「このＸＹＺは浅黒いが変え難いということはない」ということは確かである」ということは成り立たない; int1 -> int2: 「「浅黒くて変え難くない」ということは偽な」ものはある; int2 & fact2 -> int3: この格差はたどたどしい; int3 & fact3 -> int4: この格差は与え易い; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この試験官は溶け易くない
fact23 -> int6: 仮にこのＸＹＺが雄々しかないなら与え易いがしかしたどたどしくない; fact26 -> int7: もし仮にこの格差が御贈りするならそれは順位付けだ; fact25 -> int8: もし仮にこの格差が掛かり易いならばそれは御贈りする; fact24 & fact28 -> int9: この格差は掛かり易い; int8 & int9 -> int10: 「この格差は御贈りする」ということは成り立つ; int7 & int10 -> int11: この格差は順位付けである;
$facts$ = fact1: もしこのＸＹＺは雄々しいとしたら「この試験官はたどたどしくないししかもそれは与え易いということはない」ということは嘘である fact2: 「「浅黒いしそれに変え難くない」ということは偽な」ものがあるならこの格差はたどたどしい fact3: もし仮にこの格差がたどたどしいとするとそれは与え易い fact4: この格差は与え易くない fact5: 仮に与え易い物があるとすればあのＸＹＺは浅黒い fact6: この格差が順位付けでしかもそれが滅諦だとしたらこのＸＹＺは雄々しかない fact7: もしもこのＸＹＺは変え難くないとすると「「この格差は浅黒いしそれに与え易い」ということは成り立つ」ということは事実と異なる fact8: この試験官は溶け易くないとしたら「「このＸＹＺは浅黒いけれどそれは変え難くない」ということは本当である」ということは成り立たない fact9: 仮に「その社外監査役は生じ難くないかあるいは恙無いかもしくは両方ともである」ということは事実だとすれば「この格差は滅諦だ」ということは本当である fact10: 掛かり易いものは御贈りする fact11: 何らかの物が雄々しいということはないとしたらそれは与え易いししかもたどたどしくない fact12: もし仮に「「掛かり易いということはないけど読み易い」ということは成り立たない」物があればこの格差は掛かり易い fact13: あの権利は掘り当てる fact14: なんらかの物は御贈りするとすれば「それは順位付けである」ということは誤っていない fact15: このＸＹＺが恙無いならばそれは御贈りしないし順位付けでない fact16: もしもなにかは御贈りしないしさらにそれは順位付けでないならばそれは滅諦である fact17: もしも「とある物は生じ難くないしかつ恙無くない」ということは嘘であるとすると恙無い fact18: もしこのＸＹＺが滅諦ならばそれは雄々しい fact19: もしその社外監査役が土師器でないとすると生じ難いということはないかまたはそれは恙無い fact20: 「「掛かり易くないけど読み易い」ということは成り立たない」ものはある ; $hypothesis$ = この試験官は溶け易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この試験官は溶け易くない; fact8 & assump1 -> int1: 「「このＸＹＺは浅黒いが変え難いということはない」ということは確かである」ということは成り立たない; int1 -> int2: 「「浅黒くて変え難くない」ということは偽な」ものはある; int2 & fact2 -> int3: この格差はたどたどしい; int3 & fact3 -> int4: この格差は与え易い; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしこのＸＹＺは雄々しいとしたら「この試験官はたどたどしくないししかもそれは与え易いということはない」ということは嘘である
事実2: 「「浅黒いしそれに変え難くない」ということは偽な」ものがあるならこの格差はたどたどしい
事実3: もし仮にこの格差がたどたどしいとするとそれは与え易い
事実4: この格差は与え易くない
事実5: 仮に与え易い物があるとすればあのＸＹＺは浅黒い
事実6: この格差が順位付けでしかもそれが滅諦だとしたらこのＸＹＺは雄々しかない
事実7: もしもこのＸＹＺは変え難くないとすると「「この格差は浅黒いしそれに与え易い」ということは成り立つ」ということは事実と異なる
事実8: この試験官は溶け易くないとしたら「「このＸＹＺは浅黒いけれどそれは変え難くない」ということは本当である」ということは成り立たない
事実9: 仮に「その社外監査役は生じ難くないかあるいは恙無いかもしくは両方ともである」ということは事実だとすれば「この格差は滅諦だ」ということは本当である
事実10: 掛かり易いものは御贈りする
事実11: 何らかの物が雄々しいということはないとしたらそれは与え易いししかもたどたどしくない
事実12: もし仮に「「掛かり易いということはないけど読み易い」ということは成り立たない」物があればこの格差は掛かり易い
事実13: あの権利は掘り当てる
事実14: なんらかの物は御贈りするとすれば「それは順位付けである」ということは誤っていない
事実15: このＸＹＺが恙無いならばそれは御贈りしないし順位付けでない
事実16: もしもなにかは御贈りしないしさらにそれは順位付けでないならばそれは滅諦である
事実17: もしも「とある物は生じ難くないしかつ恙無くない」ということは嘘であるとすると恙無い
事実18: もしこのＸＹＺが滅諦ならばそれは雄々しい
事実19: もしその社外監査役が土師器でないとすると生じ難いということはないかまたはそれは恙無い
事実20: 「「掛かり易くないけど読み易い」ということは成り立たない」ものはある

仮説: この試験官は溶け易くない
1. 仮定1: 以下のように仮定する。この試験官は溶け易くない
2. 事実8と仮定1から、推論1: "「「このＸＹＺは浅黒いが変え難いということはない」ということは確かである」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「浅黒くて変え難くない」ということは偽な」ものはある"が導かれる
4. 推論2と事実2から、推論3: "この格差はたどたどしい"が導かれる
5. 推論3と事実3から、推論4: "この格差は与え易い"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。