その対象者自身は下ろし易くないかあるいは中元であるかどちらもである
fact1: 「その対象者自身は相違するかあるいはそれは下ろし易いか両方だ」ということは誤りでない fact2: あの現ロシアはグループ化しない fact3: もし仮に「あの現ロシアは中元であるということはない」ということは間違っていないならばその対象者自身は即死する fact4: あの現ロシアは作り易くて即死する fact5: 仮にとある物はグループ化するとすれば「それは即死する」ということは本当である fact6: あの良性腺腫が相違するとするとあの現ロシアは沸き起こす fact7: もしもあの良性腺腫が酸くないとするとこの患者個人は下ろし易い fact8: もしもあるものがグループ化するとすればそれは相違する fact9: この患者個人が下ろし易いならその対象者自身は下ろし易くないかもしくは中元であるかもしくは両方である fact10: あの良性腺腫が相違しないとすればその対面コミュニケーションはグループ化するかもしくは酸いか両方だ fact11: もしあの良性腺腫が酸いとするとグループ化する fact12: この患者個人はグループ化するなら「あの良性腺腫はグループ化するか下ろし易い」ということは真実である fact13: もしとあるものは酸いとしたら「下ろし易くないかもしくは中元であるか両方である」ということは真実でない fact14: もし仮にとある物が作り易いならばそれは沸き起こすということはない
void -> assump1: 以下のように仮定する。あの良性腺腫は酸い; fact11 & assump1 -> int1: あの良性腺腫はグループ化する; fact8 -> int2: 仮にあの良性腺腫がグループ化するならそれは相違する; int1 & int2 -> int3: あの良性腺腫は相違する; int3 & fact6 -> int4: あの現ロシアは沸き起こす; fact4 -> int5: あの現ロシアは作り易い; fact14 -> int6: もしあの現ロシアは作り易いとすると「それは沸き起こさない」ということは成り立つ; int5 & int6 -> int7: あの現ロシアは沸き起こさない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの良性腺腫は酸くない; int9 & fact7 -> int10: この患者個人は下ろし易い; int10 & fact9 -> hypothesis;
「その対象者自身は下ろし易くないかあるいはそれは中元であるかもしくは両方だ」ということは間違っている
fact15 -> int11: もし仮にその対象者自身は酸いとすると「下ろし易くないかまたは中元だ」ということは成り立たない;
$facts$ = fact1: 「その対象者自身は相違するかあるいはそれは下ろし易いか両方だ」ということは誤りでない fact2: あの現ロシアはグループ化しない fact3: もし仮に「あの現ロシアは中元であるということはない」ということは間違っていないならばその対象者自身は即死する fact4: あの現ロシアは作り易くて即死する fact5: 仮にとある物はグループ化するとすれば「それは即死する」ということは本当である fact6: あの良性腺腫が相違するとするとあの現ロシアは沸き起こす fact7: もしもあの良性腺腫が酸くないとするとこの患者個人は下ろし易い fact8: もしもあるものがグループ化するとすればそれは相違する fact9: この患者個人が下ろし易いならその対象者自身は下ろし易くないかもしくは中元であるかもしくは両方である fact10: あの良性腺腫が相違しないとすればその対面コミュニケーションはグループ化するかもしくは酸いか両方だ fact11: もしあの良性腺腫が酸いとするとグループ化する fact12: この患者個人はグループ化するなら「あの良性腺腫はグループ化するか下ろし易い」ということは真実である fact13: もしとあるものは酸いとしたら「下ろし易くないかもしくは中元であるか両方である」ということは真実でない fact14: もし仮にとある物が作り易いならばそれは沸き起こすということはない ; $hypothesis$ = その対象者自身は下ろし易くないかあるいは中元であるかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの良性腺腫は酸い; fact11 & assump1 -> int1: あの良性腺腫はグループ化する; fact8 -> int2: 仮にあの良性腺腫がグループ化するならそれは相違する; int1 & int2 -> int3: あの良性腺腫は相違する; int3 & fact6 -> int4: あの現ロシアは沸き起こす; fact4 -> int5: あの現ロシアは作り易い; fact14 -> int6: もしあの現ロシアは作り易いとすると「それは沸き起こさない」ということは成り立つ; int5 & int6 -> int7: あの現ロシアは沸き起こさない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの良性腺腫は酸くない; int9 & fact7 -> int10: この患者個人は下ろし易い; int10 & fact9 -> hypothesis; __PROVED__
事実1: 「その対象者自身は相違するかあるいはそれは下ろし易いか両方だ」ということは誤りでない
事実2: あの現ロシアはグループ化しない
事実3: もし仮に「あの現ロシアは中元であるということはない」ということは間違っていないならばその対象者自身は即死する
事実4: あの現ロシアは作り易くて即死する
事実5: 仮にとある物はグループ化するとすれば「それは即死する」ということは本当である
事実6: あの良性腺腫が相違するとするとあの現ロシアは沸き起こす
事実7: もしもあの良性腺腫が酸くないとするとこの患者個人は下ろし易い
事実8: もしもあるものがグループ化するとすればそれは相違する
事実9: この患者個人が下ろし易いならその対象者自身は下ろし易くないかもしくは中元であるかもしくは両方である
事実10: あの良性腺腫が相違しないとすればその対面コミュニケーションはグループ化するかもしくは酸いか両方だ
事実11: もしあの良性腺腫が酸いとするとグループ化する
事実12: この患者個人はグループ化するなら「あの良性腺腫はグループ化するか下ろし易い」ということは真実である
事実13: もしとあるものは酸いとしたら「下ろし易くないかもしくは中元であるか両方である」ということは真実でない
事実14: もし仮にとある物が作り易いならばそれは沸き起こすということはない

仮説: その対象者自身は下ろし易くないかあるいは中元であるかどちらもである
1. 仮定1: 以下のように仮定する。あの良性腺腫は酸い
2. 事実11と仮定1から、推論1: "あの良性腺腫はグループ化する"が導かれる
3. 事実8から、推論2: "仮にあの良性腺腫がグループ化するならそれは相違する"が導かれる
4. 推論1と推論2から、推論3: "あの良性腺腫は相違する"が導かれる
5. 推論3と事実6から、推論4: "あの現ロシアは沸き起こす"が導かれる
6. 事実4から、推論5: "あの現ロシアは作り易い"が導かれる
7. 事実14から、推論6: "もしあの現ロシアは作り易いとすると「それは沸き起こさない」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "あの現ロシアは沸き起こさない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの良性腺腫は酸くない"が導かれる
11. 推論9と事実7から、推論10: "この患者個人は下ろし易い"が導かれる
12. 推論10と事実9から、仮説が導かれる

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