この発達は紛らわしい
fact1: なにかはレッスンするとしたらそれは重々しい fact2: その確定拠出型は対象農家であるしまた重々しい fact3: もしもその確定拠出型が対象農家だしその上重々しいならそれは危険防止でない fact4: 仮に何らかのものが分断するなら成し難い fact5: もしこの発達が重々しいならそれは危険防止でないかあるいはそれは対象農家でないか両方だ fact6: その確定拠出型はレッスンするかまたは通り沿いである fact7: もし仮にあるものは成し難いなら「危険防止だ」ということは確かだ fact8: 仮に「何かは紛らわしくなくてその上それは分断しない」ということは嘘であるとすればそれは紛らわしい fact9: 仮にこの発達が紛らわしいならばその確定拠出型は分断する fact10: もしも何かは成し難いとしたら「「紛らわしくなくて分断しない」ということは確かである」ということは成り立つということはない
void -> assump1: 以下のように仮定する。この発達は紛らわしい; fact9 & assump1 -> int1: その確定拠出型は分断する; fact4 -> int2: もし仮にその確定拠出型が分断するなら成し難い; int1 & int2 -> int3: その確定拠出型は成し難い; fact7 -> int4: その確定拠出型が成し難いならそれは危険防止だ; int3 & int4 -> int5: 「その確定拠出型は危険防止だ」ということは成り立つ; fact2 & fact3 -> int6: その確定拠出型は危険防止でない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この発達は紛らわしい
fact15 -> int8: 仮に「この発達は紛らわしくなくてかつ分断しない」ということは誤りであるとすればそれは紛らわしい; fact14 -> int9: もし「この発達は成し難くない」ということは成り立たないとすれば「それは紛らわしいということはないし更に分断しない」ということは誤っている; fact11 -> int10: 仮にこの発達がレッスンするとしたらそれは重々しい;
$facts$ = fact1: なにかはレッスンするとしたらそれは重々しい fact2: その確定拠出型は対象農家であるしまた重々しい fact3: もしもその確定拠出型が対象農家だしその上重々しいならそれは危険防止でない fact4: 仮に何らかのものが分断するなら成し難い fact5: もしこの発達が重々しいならそれは危険防止でないかあるいはそれは対象農家でないか両方だ fact6: その確定拠出型はレッスンするかまたは通り沿いである fact7: もし仮にあるものは成し難いなら「危険防止だ」ということは確かだ fact8: 仮に「何かは紛らわしくなくてその上それは分断しない」ということは嘘であるとすればそれは紛らわしい fact9: 仮にこの発達が紛らわしいならばその確定拠出型は分断する fact10: もしも何かは成し難いとしたら「「紛らわしくなくて分断しない」ということは確かである」ということは成り立つということはない ; $hypothesis$ = この発達は紛らわしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この発達は紛らわしい; fact9 & assump1 -> int1: その確定拠出型は分断する; fact4 -> int2: もし仮にその確定拠出型が分断するなら成し難い; int1 & int2 -> int3: その確定拠出型は成し難い; fact7 -> int4: その確定拠出型が成し難いならそれは危険防止だ; int3 & int4 -> int5: 「その確定拠出型は危険防止だ」ということは成り立つ; fact2 & fact3 -> int6: その確定拠出型は危険防止でない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: なにかはレッスンするとしたらそれは重々しい
事実2: その確定拠出型は対象農家であるしまた重々しい
事実3: もしもその確定拠出型が対象農家だしその上重々しいならそれは危険防止でない
事実4: 仮に何らかのものが分断するなら成し難い
事実5: もしこの発達が重々しいならそれは危険防止でないかあるいはそれは対象農家でないか両方だ
事実6: その確定拠出型はレッスンするかまたは通り沿いである
事実7: もし仮にあるものは成し難いなら「危険防止だ」ということは確かだ
事実8: 仮に「何かは紛らわしくなくてその上それは分断しない」ということは嘘であるとすればそれは紛らわしい
事実9: 仮にこの発達が紛らわしいならばその確定拠出型は分断する
事実10: もしも何かは成し難いとしたら「「紛らわしくなくて分断しない」ということは確かである」ということは成り立つということはない

仮説: この発達は紛らわしい
1. 仮定1: 以下のように仮定する。この発達は紛らわしい
2. 事実9と仮定1から、推論1: "その確定拠出型は分断する"が導かれる
3. 事実4から、推論2: "もし仮にその確定拠出型が分断するなら成し難い"が導かれる
4. 推論1と推論2から、推論3: "その確定拠出型は成し難い"が導かれる
5. 事実7から、推論4: "その確定拠出型が成し難いならそれは危険防止だ"が導かれる
6. 推論3と推論4から、推論5: "「その確定拠出型は危険防止だ」ということは成り立つ"が導かれる
7. 事実2と事実3から、推論6: "その確定拠出型は危険防止でない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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