この仏名は急性腎炎であるし更に乗船する
fact1: 「あのランＳＵは清々しいがしかし苦しない」ということは間違っている fact2: もしも「あのランＳＵは清々しい物でしかも苦しない」ということは偽だとしたらこの仏名は下左である fact3: もしこのデジタル・コンピュータがＤＱだとするとこの仏名は乗船する fact4: 「このデジタル・コンピュータは歩み入らないかもしくは適用開始でないか両方だ」ということは成り立つということはない fact5: もし仮に「なにがしかの物は歩み入らないかまたはそれは適用開始でない」ということは間違っているならＤＱである fact6: もしもこの仏名は太り過ぎる一方でステムでないならば下左であるということはない fact7: このデジタル・コンピュータは適用開始であるしおまけに聞き齧りである fact8: もし仮に「何らかの物は太り過ぎる一方でそれはステムでない」ということは真実でないとすれば急性腎炎である
void -> assump1: 以下のように仮定する。この仏名は太り過ぎるがステムだということはない; fact6 & assump1 -> int1: この仏名は下左でない; fact2 & fact1 -> int2: この仏名は下左だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この仏名は太り過ぎるがステムであるということはない」ということは成り立たない; fact8 -> int5: 仮に「この仏名は太り過ぎるがしかしそれはステムでない」ということは誤りであるとすると「急性腎炎だ」ということは嘘でない; int4 & int5 -> int6: この仏名は急性腎炎だ; fact5 -> int7: 「このデジタル・コンピュータは歩み入らないかまたは適用開始でないかあるいはどちらもだ」ということは誤りであるならＤＱだ; fact4 & int7 -> int8: このデジタル・コンピュータはＤＱである; fact3 & int8 -> int9: 「この仏名は乗船する」ということは確かだ; int6 & int9 -> hypothesis;
$facts$ = fact1: 「あのランＳＵは清々しいがしかし苦しない」ということは間違っている fact2: もしも「あのランＳＵは清々しい物でしかも苦しない」ということは偽だとしたらこの仏名は下左である fact3: もしこのデジタル・コンピュータがＤＱだとするとこの仏名は乗船する fact4: 「このデジタル・コンピュータは歩み入らないかもしくは適用開始でないか両方だ」ということは成り立つということはない fact5: もし仮に「なにがしかの物は歩み入らないかまたはそれは適用開始でない」ということは間違っているならＤＱである fact6: もしもこの仏名は太り過ぎる一方でステムでないならば下左であるということはない fact7: このデジタル・コンピュータは適用開始であるしおまけに聞き齧りである fact8: もし仮に「何らかの物は太り過ぎる一方でそれはステムでない」ということは真実でないとすれば急性腎炎である ; $hypothesis$ = この仏名は急性腎炎であるし更に乗船する ; $proof$ = 
void -> assump1: 以下のように仮定する。この仏名は太り過ぎるがステムだということはない; fact6 & assump1 -> int1: この仏名は下左でない; fact2 & fact1 -> int2: この仏名は下左だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この仏名は太り過ぎるがステムであるということはない」ということは成り立たない; fact8 -> int5: 仮に「この仏名は太り過ぎるがしかしそれはステムでない」ということは誤りであるとすると「急性腎炎だ」ということは嘘でない; int4 & int5 -> int6: この仏名は急性腎炎だ; fact5 -> int7: 「このデジタル・コンピュータは歩み入らないかまたは適用開始でないかあるいはどちらもだ」ということは誤りであるならＤＱだ; fact4 & int7 -> int8: このデジタル・コンピュータはＤＱである; fact3 & int8 -> int9: 「この仏名は乗船する」ということは確かだ; int6 & int9 -> hypothesis; __PROVED__
事実1: 「あのランＳＵは清々しいがしかし苦しない」ということは間違っている
事実2: もしも「あのランＳＵは清々しい物でしかも苦しない」ということは偽だとしたらこの仏名は下左である
事実3: もしこのデジタル・コンピュータがＤＱだとするとこの仏名は乗船する
事実4: 「このデジタル・コンピュータは歩み入らないかもしくは適用開始でないか両方だ」ということは成り立つということはない
事実5: もし仮に「なにがしかの物は歩み入らないかまたはそれは適用開始でない」ということは間違っているならＤＱである
事実6: もしもこの仏名は太り過ぎる一方でステムでないならば下左であるということはない
事実7: このデジタル・コンピュータは適用開始であるしおまけに聞き齧りである
事実8: もし仮に「何らかの物は太り過ぎる一方でそれはステムでない」ということは真実でないとすれば急性腎炎である

仮説: この仏名は急性腎炎であるし更に乗船する
1. 仮定1: 以下のように仮定する。この仏名は太り過ぎるがステムだということはない
2. 事実6と仮定1から、推論1: "この仏名は下左でない"が導かれる
3. 事実2と事実1から、推論2: "この仏名は下左だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この仏名は太り過ぎるがステムであるということはない」ということは成り立たない"が導かれる
6. 事実8から、推論5: "仮に「この仏名は太り過ぎるがしかしそれはステムでない」ということは誤りであるとすると「急性腎炎だ」ということは嘘でない"が導かれる
7. 推論4と推論5から、推論6: "この仏名は急性腎炎だ"が導かれる
8. 事実5から、推論7: "「このデジタル・コンピュータは歩み入らないかまたは適用開始でないかあるいはどちらもだ」ということは誤りであるならＤＱだ"が導かれる
9. 事実4と推論7から、推論8: "このデジタル・コンピュータはＤＱである"が導かれる
10. 事実3と推論8から、推論9: "「この仏名は乗船する」ということは確かだ"が導かれる
11. 推論6と推論9から、仮説が導かれる

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