この調整法は和睦しない
fact1: このクランク角センサーは盗み見するしさらにややこしい fact2: 仮に「何かはややこしくなくておまけに盗み見しない」ということは誤りであるとすると和睦する fact3: もしある物は手荒いなら「それがややこしくないしさらにそれは盗み見しない」ということは成り立たない fact4: もしもその投下資金がややこしいならこのクランク角センサーは手荒くないがしかし盗み見する fact5: もしその投下資金が手荒いとすればこの調整法は和睦しない fact6: もし仮にこのクランク角センサーがややこしいとしたらその投下資金は手荒い fact7: もしこのクランク角センサーが手荒くないけど盗み見するならこの調整法は盗み見しない fact8: その投下資金は和睦する
fact1 -> int1: このクランク角センサーはややこしい; int1 & fact6 -> int2: その投下資金は手荒い; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
この調整法は和睦する
fact10 -> int3: 仮に「この調整法はややこしいということはなくてそれは盗み見しない」ということは成り立たないとすれば和睦する; fact9 -> int4: 仮にこの調整法は手荒いとすると「それはややこしくなくてそれは盗み見しない」ということは本当でない;
$facts$ = fact1: このクランク角センサーは盗み見するしさらにややこしい fact2: 仮に「何かはややこしくなくておまけに盗み見しない」ということは誤りであるとすると和睦する fact3: もしある物は手荒いなら「それがややこしくないしさらにそれは盗み見しない」ということは成り立たない fact4: もしもその投下資金がややこしいならこのクランク角センサーは手荒くないがしかし盗み見する fact5: もしその投下資金が手荒いとすればこの調整法は和睦しない fact6: もし仮にこのクランク角センサーがややこしいとしたらその投下資金は手荒い fact7: もしこのクランク角センサーが手荒くないけど盗み見するならこの調整法は盗み見しない fact8: その投下資金は和睦する ; $hypothesis$ = この調整法は和睦しない ; $proof$ = 
fact1 -> int1: このクランク角センサーはややこしい; int1 & fact6 -> int2: その投下資金は手荒い; int2 & fact5 -> hypothesis; __PROVED__
事実1: このクランク角センサーは盗み見するしさらにややこしい
事実2: 仮に「何かはややこしくなくておまけに盗み見しない」ということは誤りであるとすると和睦する
事実3: もしある物は手荒いなら「それがややこしくないしさらにそれは盗み見しない」ということは成り立たない
事実4: もしもその投下資金がややこしいならこのクランク角センサーは手荒くないがしかし盗み見する
事実5: もしその投下資金が手荒いとすればこの調整法は和睦しない
事実6: もし仮にこのクランク角センサーがややこしいとしたらその投下資金は手荒い
事実7: もしこのクランク角センサーが手荒くないけど盗み見するならこの調整法は盗み見しない
事実8: その投下資金は和睦する

仮説: この調整法は和睦しない
1. 事実1から、推論1: "このクランク角センサーはややこしい"が導かれる
2. 推論1と事実6から、推論2: "その投下資金は手荒い"が導かれる
3. 推論2と事実5から、仮説が導かれる

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