その開発過程はプロらしい
fact1: 仮にこのウィンドウズＭＥがプロらしいならこの路上菜園はプロらしい fact2: もしもこのウィンドウズＭＥが沈降するとすればあの路上菜園はプロらしい fact3: もしもこのずぶは伝わり易いがしかし想像しないとしたら素通りしない fact4: もしこのずぶが独占販売するとすればあの路上菜園はＡＦＣである fact5: もしもあの通所授産施設制度がＤＦラインならこのずぶは独占販売する fact6: 仮にこの路上菜園がＡＦＣであるとするとこのウィンドウズＭＥは乗る fact7: あの開業時は想像しない fact8: その開発過程が語り終えないならこのずぶは伝わり易いけれど想像しない fact9: 「身軽い」ものはある fact10: あの開業時は想像しないが伝わり易い fact11: もしあるものは素通りしないなら「口汚くないがＡＦＣだ」ということは成り立たない fact12: あの開業時はプロらしい fact13: もしあの開業時が素通りすればあの通所授産施設制度は継続し難い fact14: もしもこの路上菜園はプロらしいとすれば「それは乗らないしまた継続し難い」ということは嘘である fact15: もしあの開業時が想像しないけどそれが伝わり易いとしたら素通りする fact16: 「「薬臭いけれど最低保障でない」ということは誤りな」物はある fact17: あのＰ四橋脚基部は乗らない fact18: もし「「薬臭いし加えて最低保障でない」ということは成り立たない」ものがあればこのウィンドウズＭＥは面倒臭くない fact19: もし仮になにがしかの物がＤＦラインであるかもしくは独占販売するかもしくは両方ともであるならばプロらしいということはない fact20: なにがしかの物がフルールでないかまたはそれはＤＦラインであるとしたらフルールでない fact21: このウィンドウズＭＥは乗らない fact22: このずぶはＡＦＣである fact23: 面倒臭くない物は沈降するかプロらしい fact24: もし継続し難いものがＤＦラインであるということはないとすればその開発過程はプロらしい fact25: 仮にあの通所授産施設制度がＡＦＣだとすればその開発過程は独占販売する fact26: 「「乗らないが継続し難い」ということは嘘である」物があるとしたらあの通所授産施設制度は独占販売しない fact27: 仮にあの通所授産施設制度が独占販売しないとしたらこのハングル文字はフルールだということはないかあるいはＤＦラインである
void -> assump1: 以下のように仮定する。あの通所授産施設制度はＤＦラインである; fact5 & assump1 -> int1: このずぶは独占販売する; int1 & fact4 -> int2: この路上菜園はＡＦＣだ; int2 & fact6 -> int3: このウィンドウズＭＥは乗る; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの通所授産施設制度はＤＦラインでない; fact10 & fact15 -> int6: あの開業時は素通りする; fact13 & int6 -> int7: 「あの通所授産施設制度は継続し難い」ということは本当である; int5 & int7 -> int8: あの通所授産施設制度は継続し難いけどＤＦラインでない; int8 -> int9: なんらかのものは継続し難いけどＤＦラインでない; int9 & fact24 -> hypothesis;
その開発過程はプロらしくない
fact29 -> int10: もしもその開発過程がＤＦラインであるかもしくは独占販売するとしたらそれはプロらしくない;
$facts$ = fact1: 仮にこのウィンドウズＭＥがプロらしいならこの路上菜園はプロらしい fact2: もしもこのウィンドウズＭＥが沈降するとすればあの路上菜園はプロらしい fact3: もしもこのずぶは伝わり易いがしかし想像しないとしたら素通りしない fact4: もしこのずぶが独占販売するとすればあの路上菜園はＡＦＣである fact5: もしもあの通所授産施設制度がＤＦラインならこのずぶは独占販売する fact6: 仮にこの路上菜園がＡＦＣであるとするとこのウィンドウズＭＥは乗る fact7: あの開業時は想像しない fact8: その開発過程が語り終えないならこのずぶは伝わり易いけれど想像しない fact9: 「身軽い」ものはある fact10: あの開業時は想像しないが伝わり易い fact11: もしあるものは素通りしないなら「口汚くないがＡＦＣだ」ということは成り立たない fact12: あの開業時はプロらしい fact13: もしあの開業時が素通りすればあの通所授産施設制度は継続し難い fact14: もしもこの路上菜園はプロらしいとすれば「それは乗らないしまた継続し難い」ということは嘘である fact15: もしあの開業時が想像しないけどそれが伝わり易いとしたら素通りする fact16: 「「薬臭いけれど最低保障でない」ということは誤りな」物はある fact17: あのＰ四橋脚基部は乗らない fact18: もし「「薬臭いし加えて最低保障でない」ということは成り立たない」ものがあればこのウィンドウズＭＥは面倒臭くない fact19: もし仮になにがしかの物がＤＦラインであるかもしくは独占販売するかもしくは両方ともであるならばプロらしいということはない fact20: なにがしかの物がフルールでないかまたはそれはＤＦラインであるとしたらフルールでない fact21: このウィンドウズＭＥは乗らない fact22: このずぶはＡＦＣである fact23: 面倒臭くない物は沈降するかプロらしい fact24: もし継続し難いものがＤＦラインであるということはないとすればその開発過程はプロらしい fact25: 仮にあの通所授産施設制度がＡＦＣだとすればその開発過程は独占販売する fact26: 「「乗らないが継続し難い」ということは嘘である」物があるとしたらあの通所授産施設制度は独占販売しない fact27: 仮にあの通所授産施設制度が独占販売しないとしたらこのハングル文字はフルールだということはないかあるいはＤＦラインである ; $hypothesis$ = その開発過程はプロらしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通所授産施設制度はＤＦラインである; fact5 & assump1 -> int1: このずぶは独占販売する; int1 & fact4 -> int2: この路上菜園はＡＦＣだ; int2 & fact6 -> int3: このウィンドウズＭＥは乗る; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの通所授産施設制度はＤＦラインでない; fact10 & fact15 -> int6: あの開業時は素通りする; fact13 & int6 -> int7: 「あの通所授産施設制度は継続し難い」ということは本当である; int5 & int7 -> int8: あの通所授産施設制度は継続し難いけどＤＦラインでない; int8 -> int9: なんらかのものは継続し難いけどＤＦラインでない; int9 & fact24 -> hypothesis; __PROVED__
事実1: 仮にこのウィンドウズＭＥがプロらしいならこの路上菜園はプロらしい
事実2: もしもこのウィンドウズＭＥが沈降するとすればあの路上菜園はプロらしい
事実3: もしもこのずぶは伝わり易いがしかし想像しないとしたら素通りしない
事実4: もしこのずぶが独占販売するとすればあの路上菜園はＡＦＣである
事実5: もしもあの通所授産施設制度がＤＦラインならこのずぶは独占販売する
事実6: 仮にこの路上菜園がＡＦＣであるとするとこのウィンドウズＭＥは乗る
事実7: あの開業時は想像しない
事実8: その開発過程が語り終えないならこのずぶは伝わり易いけれど想像しない
事実9: 「身軽い」ものはある
事実10: あの開業時は想像しないが伝わり易い
事実11: もしあるものは素通りしないなら「口汚くないがＡＦＣだ」ということは成り立たない
事実12: あの開業時はプロらしい
事実13: もしあの開業時が素通りすればあの通所授産施設制度は継続し難い
事実14: もしもこの路上菜園はプロらしいとすれば「それは乗らないしまた継続し難い」ということは嘘である
事実15: もしあの開業時が想像しないけどそれが伝わり易いとしたら素通りする
事実16: 「「薬臭いけれど最低保障でない」ということは誤りな」物はある
事実17: あのＰ四橋脚基部は乗らない
事実18: もし「「薬臭いし加えて最低保障でない」ということは成り立たない」ものがあればこのウィンドウズＭＥは面倒臭くない
事実19: もし仮になにがしかの物がＤＦラインであるかもしくは独占販売するかもしくは両方ともであるならばプロらしいということはない
事実20: なにがしかの物がフルールでないかまたはそれはＤＦラインであるとしたらフルールでない
事実21: このウィンドウズＭＥは乗らない
事実22: このずぶはＡＦＣである
事実23: 面倒臭くない物は沈降するかプロらしい
事実24: もし継続し難いものがＤＦラインであるということはないとすればその開発過程はプロらしい
事実25: 仮にあの通所授産施設制度がＡＦＣだとすればその開発過程は独占販売する
事実26: 「「乗らないが継続し難い」ということは嘘である」物があるとしたらあの通所授産施設制度は独占販売しない
事実27: 仮にあの通所授産施設制度が独占販売しないとしたらこのハングル文字はフルールだということはないかあるいはＤＦラインである

仮説: その開発過程はプロらしい
1. 仮定1: 以下のように仮定する。あの通所授産施設制度はＤＦラインである
2. 事実5と仮定1から、推論1: "このずぶは独占販売する"が導かれる
3. 推論1と事実4から、推論2: "この路上菜園はＡＦＣだ"が導かれる
4. 推論2と事実6から、推論3: "このウィンドウズＭＥは乗る"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの通所授産施設制度はＤＦラインでない"が導かれる
7. 事実10と事実15から、推論6: "あの開業時は素通りする"が導かれる
8. 事実13と推論6から、推論7: "「あの通所授産施設制度は継続し難い」ということは本当である"が導かれる
9. 推論5と推論7から、推論8: "あの通所授産施設制度は継続し難いけどＤＦラインでない"が導かれる
10. 推論8から、推論9: "なんらかのものは継続し難いけどＤＦラインでない"が導かれる
11. 推論9と事実24から、仮説が導かれる

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