その学級は買わない
fact1: 「あのクライは春らしいしおまけに保釈する」ということは間違いだ fact2: もしあの旅館業が売り上げファイルであるかあるいは切り開けるかもしくはどちらもであるならこのダメージは示し易くない fact3: 仮に「「あの執行役会は混同し易くないが生温い」ということは正しい」ということは嘘ならばあの学級は買う fact4: もし「あのクライは春らしいし保釈する」ということは成り立たないとしたらそれは保釈しない fact5: もし仮にあの旅館業は示し易くないとすると「あの執行役会は切り開けるかそれは売り上げファイルであるかまたはどちらもだ」ということは成り立つ fact6: このダメージは保釈する fact7: 仮に「何らかのものは切り開けなくて売り上げファイルだということはない」ということは成り立たないとするとそれは生温い fact8: 「仮に「とある物は冷え易くて加えてそれは買う」ということは確かでないとするとそれは買わない」ということは正しい fact9: もし仮になにかは示し易くないとすると「それは切り開けないしその上売り上げファイルでない」ということは事実だということはない fact10: 冷え易いものは見出だし難い fact11: このダメージが混同し易いなら冷え易い fact12: もし仮にあの執行役会が混同し易くない一方で生温いとするとあの旅館業は売り上げファイルである fact13: もしあの旅館業が切り開けるならこのダメージは示し易くない fact14: もし仮に何らかのものは切り開けるとすると「買うということはない」ということは真実だ fact15: 「あの執行役会は生温い」ということは成り立つ fact16: 見出だし難い物は示し易い fact17: あの人間意思は買う fact18: もしあの執行役会が生温いということはないならその学級は買う fact19: このダメージは冷え易いししかもそれは保釈する fact20: その学級は冷え易い fact21: 仮になんらかのものは切り開ければ「保釈する」ということは確かである fact22: もし仮にこのダメージが示し易くないが切り開けるなら「あの旅館業は売り上げファイルである」ということは成り立つ fact23: 「あの執行役会は冷え易いししかも買う」ということは嘘だ
void -> assump1: 以下のように仮定する。あの執行役会は混同し易くない一方で生温い; fact12 & assump1 -> int1: あの旅館業は売り上げファイルだ; int1 -> int2: あの旅館業は売り上げファイルであるかもしくはそれは切り開けるか両方ともである; int2 & fact2 -> int3: このダメージは示し易くない; fact16 -> int4: もし仮にこのダメージは見出だし難いなら「それは示し易い」ということは成り立つ; fact19 -> int5: このダメージは冷え易い; fact10 -> int6: もしもこのダメージが冷え易いならそれは見出だし難い; int5 & int6 -> int7: 「このダメージは見出だし難い」ということは事実だ; int4 & int7 -> int8: このダメージは示し易い; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「「あの執行役会は混同し易いということはないが生温い」ということは成り立たない」ということは本当である; int10 & fact3 -> hypothesis;
その学級は買うということはない
fact24 -> int11: もし「その学級は切り開けない」ということは間違っているなら買わない; fact25 & fact26 -> int12: あのクライは保釈するということはない; int12 -> int13: 「保釈しない」物はある;
$facts$ = fact1: 「あのクライは春らしいしおまけに保釈する」ということは間違いだ fact2: もしあの旅館業が売り上げファイルであるかあるいは切り開けるかもしくはどちらもであるならこのダメージは示し易くない fact3: 仮に「「あの執行役会は混同し易くないが生温い」ということは正しい」ということは嘘ならばあの学級は買う fact4: もし「あのクライは春らしいし保釈する」ということは成り立たないとしたらそれは保釈しない fact5: もし仮にあの旅館業は示し易くないとすると「あの執行役会は切り開けるかそれは売り上げファイルであるかまたはどちらもだ」ということは成り立つ fact6: このダメージは保釈する fact7: 仮に「何らかのものは切り開けなくて売り上げファイルだということはない」ということは成り立たないとするとそれは生温い fact8: 「仮に「とある物は冷え易くて加えてそれは買う」ということは確かでないとするとそれは買わない」ということは正しい fact9: もし仮になにかは示し易くないとすると「それは切り開けないしその上売り上げファイルでない」ということは事実だということはない fact10: 冷え易いものは見出だし難い fact11: このダメージが混同し易いなら冷え易い fact12: もし仮にあの執行役会が混同し易くない一方で生温いとするとあの旅館業は売り上げファイルである fact13: もしあの旅館業が切り開けるならこのダメージは示し易くない fact14: もし仮に何らかのものは切り開けるとすると「買うということはない」ということは真実だ fact15: 「あの執行役会は生温い」ということは成り立つ fact16: 見出だし難い物は示し易い fact17: あの人間意思は買う fact18: もしあの執行役会が生温いということはないならその学級は買う fact19: このダメージは冷え易いししかもそれは保釈する fact20: その学級は冷え易い fact21: 仮になんらかのものは切り開ければ「保釈する」ということは確かである fact22: もし仮にこのダメージが示し易くないが切り開けるなら「あの旅館業は売り上げファイルである」ということは成り立つ fact23: 「あの執行役会は冷え易いししかも買う」ということは嘘だ ; $hypothesis$ = その学級は買わない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの執行役会は混同し易くない一方で生温い; fact12 & assump1 -> int1: あの旅館業は売り上げファイルだ; int1 -> int2: あの旅館業は売り上げファイルであるかもしくはそれは切り開けるか両方ともである; int2 & fact2 -> int3: このダメージは示し易くない; fact16 -> int4: もし仮にこのダメージは見出だし難いなら「それは示し易い」ということは成り立つ; fact19 -> int5: このダメージは冷え易い; fact10 -> int6: もしもこのダメージが冷え易いならそれは見出だし難い; int5 & int6 -> int7: 「このダメージは見出だし難い」ということは事実だ; int4 & int7 -> int8: このダメージは示し易い; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「「あの執行役会は混同し易いということはないが生温い」ということは成り立たない」ということは本当である; int10 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あのクライは春らしいしおまけに保釈する」ということは間違いだ
事実2: もしあの旅館業が売り上げファイルであるかあるいは切り開けるかもしくはどちらもであるならこのダメージは示し易くない
事実3: 仮に「「あの執行役会は混同し易くないが生温い」ということは正しい」ということは嘘ならばあの学級は買う
事実4: もし「あのクライは春らしいし保釈する」ということは成り立たないとしたらそれは保釈しない
事実5: もし仮にあの旅館業は示し易くないとすると「あの執行役会は切り開けるかそれは売り上げファイルであるかまたはどちらもだ」ということは成り立つ
事実6: このダメージは保釈する
事実7: 仮に「何らかのものは切り開けなくて売り上げファイルだということはない」ということは成り立たないとするとそれは生温い
事実8: 「仮に「とある物は冷え易くて加えてそれは買う」ということは確かでないとするとそれは買わない」ということは正しい
事実9: もし仮になにかは示し易くないとすると「それは切り開けないしその上売り上げファイルでない」ということは事実だということはない
事実10: 冷え易いものは見出だし難い
事実11: このダメージが混同し易いなら冷え易い
事実12: もし仮にあの執行役会が混同し易くない一方で生温いとするとあの旅館業は売り上げファイルである
事実13: もしあの旅館業が切り開けるならこのダメージは示し易くない
事実14: もし仮に何らかのものは切り開けるとすると「買うということはない」ということは真実だ
事実15: 「あの執行役会は生温い」ということは成り立つ
事実16: 見出だし難い物は示し易い
事実17: あの人間意思は買う
事実18: もしあの執行役会が生温いということはないならその学級は買う
事実19: このダメージは冷え易いししかもそれは保釈する
事実20: その学級は冷え易い
事実21: 仮になんらかのものは切り開ければ「保釈する」ということは確かである
事実22: もし仮にこのダメージが示し易くないが切り開けるなら「あの旅館業は売り上げファイルである」ということは成り立つ
事実23: 「あの執行役会は冷え易いししかも買う」ということは嘘だ

仮説: その学級は買わない
1. 仮定1: 以下のように仮定する。あの執行役会は混同し易くない一方で生温い
2. 事実12と仮定1から、推論1: "あの旅館業は売り上げファイルだ"が導かれる
3. 推論1から、推論2: "あの旅館業は売り上げファイルであるかもしくはそれは切り開けるか両方ともである"が導かれる
4. 推論2と事実2から、推論3: "このダメージは示し易くない"が導かれる
5. 事実16から、推論4: "もし仮にこのダメージは見出だし難いなら「それは示し易い」ということは成り立つ"が導かれる
6. 事実19から、推論5: "このダメージは冷え易い"が導かれる
7. 事実10から、推論6: "もしもこのダメージが冷え易いならそれは見出だし難い"が導かれる
8. 推論5と推論6から、推論7: "「このダメージは見出だし難い」ということは事実だ"が導かれる
9. 推論4と推論7から、推論8: "このダメージは示し易い"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「「あの執行役会は混同し易いということはないが生温い」ということは成り立たない」ということは本当である"が導かれる
12. 推論10と事実3から、仮説が否定される

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