「なんらかのものは御ふざけであるしまたそれは切り難い」ということは事実でない
fact1: もし「なにかはアビリティーであるしそれに感応出来る」ということは間違いだとするとそれはアビリティーでない fact2: 厚かましい物は御ふざけである fact3: この鉱山会社は厚かましいしおまけに生温い fact4: この鉱山会社が拭き取るとしたらそれは切り難い fact5: もしもこの御葬式はアビリティーでないならば「その生細胞は御ふざけでないしおまけにそれは生温くない」ということは間違いだ fact6: 仮に「この御葬式はちかちかするしそれは混同し易い」ということは間違いであるとするとそれは喜ばしかない fact7: もし仮に「「その生細胞は御ふざけでないしまた生温いということはない」ということは成り立たない」ということは成り立てばこの鉱山会社は厚かましくない fact8: もしこの鉱山会社が青しないなら拭き取るかアビリティーである fact9: 「厚かましくない」物があるとするとその紫苑は把握し難い fact10: もしもなにがしかの物は喜ばしかないとすれば「アビリティーだしまた感応出来る」ということは誤っている fact11: あのラム酒漬けレーズンは切ないということはない fact12: 仮に何らかの物はアビリティーであるとすればそれは切り難い fact13: 「切り難い」ものはある fact14: この鉱山会社は引き渡し等である fact15: あのラム酒漬けレーズンは生温いしおまけにＰＥＴスキャンである fact16: 切り難い物は拭き取る fact17: もしも「切なくない」ものがあるとするとその紫苑は青しし加えて切り難い fact18: この鉱山会社は青しということはない
fact3 -> int1: この鉱山会社は厚かましい; fact2 -> int2: もし仮に「この鉱山会社は厚かましい」ということは成り立てば御ふざけだ; int1 & int2 -> int3: この鉱山会社は御ふざけだ; fact12 -> int4: もし仮にこの鉱山会社はアビリティーであるとすると切り難い; fact8 & fact18 -> int5: この鉱山会社は拭き取るかあるいはそれはアビリティーだ; int4 & fact4 & int5 -> int6: この鉱山会社は切り難い; int3 & int6 -> int7: この鉱山会社が御ふざけだしさらに切り難い; int7 -> hypothesis;
その紫苑は拭き取るし更にそれは把握し難い
fact25 -> int8: 仮にその紫苑が切り難いとすればそれは拭き取る; fact19 -> int9: なんらかのものは切なくない; int9 & fact21 -> int10: その紫苑は青しし切り難い; int10 -> int11: その紫苑は切り難い; int8 & int11 -> int12: その紫苑は拭き取る; fact26 -> int13: もし「この御葬式はアビリティーでかつ感応出来る」ということは偽だとしたらそれはアビリティーでない; fact27 -> int14: もし仮にこの御葬式は喜ばしかないならば「アビリティーだしそれは感応出来る」ということは真実でない;
$facts$ = fact1: もし「なにかはアビリティーであるしそれに感応出来る」ということは間違いだとするとそれはアビリティーでない fact2: 厚かましい物は御ふざけである fact3: この鉱山会社は厚かましいしおまけに生温い fact4: この鉱山会社が拭き取るとしたらそれは切り難い fact5: もしもこの御葬式はアビリティーでないならば「その生細胞は御ふざけでないしおまけにそれは生温くない」ということは間違いだ fact6: 仮に「この御葬式はちかちかするしそれは混同し易い」ということは間違いであるとするとそれは喜ばしかない fact7: もし仮に「「その生細胞は御ふざけでないしまた生温いということはない」ということは成り立たない」ということは成り立てばこの鉱山会社は厚かましくない fact8: もしこの鉱山会社が青しないなら拭き取るかアビリティーである fact9: 「厚かましくない」物があるとするとその紫苑は把握し難い fact10: もしもなにがしかの物は喜ばしかないとすれば「アビリティーだしまた感応出来る」ということは誤っている fact11: あのラム酒漬けレーズンは切ないということはない fact12: 仮に何らかの物はアビリティーであるとすればそれは切り難い fact13: 「切り難い」ものはある fact14: この鉱山会社は引き渡し等である fact15: あのラム酒漬けレーズンは生温いしおまけにＰＥＴスキャンである fact16: 切り難い物は拭き取る fact17: もしも「切なくない」ものがあるとするとその紫苑は青しし加えて切り難い fact18: この鉱山会社は青しということはない ; $hypothesis$ = 「なんらかのものは御ふざけであるしまたそれは切り難い」ということは事実でない ; $proof$ = 
fact3 -> int1: この鉱山会社は厚かましい; fact2 -> int2: もし仮に「この鉱山会社は厚かましい」ということは成り立てば御ふざけだ; int1 & int2 -> int3: この鉱山会社は御ふざけだ; fact12 -> int4: もし仮にこの鉱山会社はアビリティーであるとすると切り難い; fact8 & fact18 -> int5: この鉱山会社は拭き取るかあるいはそれはアビリティーだ; int4 & fact4 & int5 -> int6: この鉱山会社は切り難い; int3 & int6 -> int7: この鉱山会社が御ふざけだしさらに切り難い; int7 -> hypothesis; __DISPROVED__
事実1: もし「なにかはアビリティーであるしそれに感応出来る」ということは間違いだとするとそれはアビリティーでない
事実2: 厚かましい物は御ふざけである
事実3: この鉱山会社は厚かましいしおまけに生温い
事実4: この鉱山会社が拭き取るとしたらそれは切り難い
事実5: もしもこの御葬式はアビリティーでないならば「その生細胞は御ふざけでないしおまけにそれは生温くない」ということは間違いだ
事実6: 仮に「この御葬式はちかちかするしそれは混同し易い」ということは間違いであるとするとそれは喜ばしかない
事実7: もし仮に「「その生細胞は御ふざけでないしまた生温いということはない」ということは成り立たない」ということは成り立てばこの鉱山会社は厚かましくない
事実8: もしこの鉱山会社が青しないなら拭き取るかアビリティーである
事実9: 「厚かましくない」物があるとするとその紫苑は把握し難い
事実10: もしもなにがしかの物は喜ばしかないとすれば「アビリティーだしまた感応出来る」ということは誤っている
事実11: あのラム酒漬けレーズンは切ないということはない
事実12: 仮に何らかの物はアビリティーであるとすればそれは切り難い
事実13: 「切り難い」ものはある
事実14: この鉱山会社は引き渡し等である
事実15: あのラム酒漬けレーズンは生温いしおまけにＰＥＴスキャンである
事実16: 切り難い物は拭き取る
事実17: もしも「切なくない」ものがあるとするとその紫苑は青しし加えて切り難い
事実18: この鉱山会社は青しということはない

仮説: 「なんらかのものは御ふざけであるしまたそれは切り難い」ということは事実でない
1. 事実3から、推論1: "この鉱山会社は厚かましい"が導かれる
2. 事実2から、推論2: "もし仮に「この鉱山会社は厚かましい」ということは成り立てば御ふざけだ"が導かれる
3. 推論1と推論2から、推論3: "この鉱山会社は御ふざけだ"が導かれる
4. 事実12から、推論4: "もし仮にこの鉱山会社はアビリティーであるとすると切り難い"が導かれる
5. 事実8と事実18から、推論5: "この鉱山会社は拭き取るかあるいはそれはアビリティーだ"が導かれる
6. 推論4と事実4と推論5から、推論6: "この鉱山会社は切り難い"が導かれる
7. 推論3と推論6から、推論7: "この鉱山会社が御ふざけだしさらに切り難い"が導かれる
8. 推論7から、仮説が否定される

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