この動体検知機能は生産管理だ
fact1: この公募制補助金制度は赤くない fact2: 仮に「なんらかのものは生産管理であるがしかし食べ放題でない」ということは嘘であるとしたらそれは生産管理でない fact3: もしもこのＸ方向が赤いとすればこの公募制補助金制度は赤くない一方でそれは特攻機である fact4: もしも「その疑問文は張り切るがしかしそれは奔るない」ということは嘘ならばあの錫杖は態とらしい fact5: 張り切るしさらにそれは奔るないというものはない fact6: もしとあるものは態とらしいとしたら「それは食べ放題である」ということは本当だ fact7: もしその錫杖が食べ放題であるならこのＸ方向は赤い fact8: もし何かは赤くないけど特攻機ならばあの動体検知機能は生産管理だ
fact5 -> int1: 「「その疑問文は張り切る一方で奔るない」ということは成り立たない」ということは確かである; int1 & fact4 -> int2: その錫杖は態とらしい; fact6 -> int3: 仮にその錫杖が態とらしいとしたらそれは食べ放題だ; int2 & int3 -> int4: その錫杖は食べ放題だ; int4 & fact7 -> int5: このＸ方向は赤い; int5 & fact3 -> int6: この公募制補助金制度は赤くない一方でそれは特攻機である; int6 -> int7: なにかは赤くないがしかしそれは特攻機だ; int7 & fact8 -> hypothesis;
この動体検知機能は生産管理でない
fact9 -> int8: 仮に「「この動体検知機能は生産管理だけれど食べ放題でない」ということは正しい」ということは事実と異なるとしたらそれは生産管理でない;
$facts$ = fact1: この公募制補助金制度は赤くない fact2: 仮に「なんらかのものは生産管理であるがしかし食べ放題でない」ということは嘘であるとしたらそれは生産管理でない fact3: もしもこのＸ方向が赤いとすればこの公募制補助金制度は赤くない一方でそれは特攻機である fact4: もしも「その疑問文は張り切るがしかしそれは奔るない」ということは嘘ならばあの錫杖は態とらしい fact5: 張り切るしさらにそれは奔るないというものはない fact6: もしとあるものは態とらしいとしたら「それは食べ放題である」ということは本当だ fact7: もしその錫杖が食べ放題であるならこのＸ方向は赤い fact8: もし何かは赤くないけど特攻機ならばあの動体検知機能は生産管理だ ; $hypothesis$ = この動体検知機能は生産管理だ ; $proof$ = 
fact5 -> int1: 「「その疑問文は張り切る一方で奔るない」ということは成り立たない」ということは確かである; int1 & fact4 -> int2: その錫杖は態とらしい; fact6 -> int3: 仮にその錫杖が態とらしいとしたらそれは食べ放題だ; int2 & int3 -> int4: その錫杖は食べ放題だ; int4 & fact7 -> int5: このＸ方向は赤い; int5 & fact3 -> int6: この公募制補助金制度は赤くない一方でそれは特攻機である; int6 -> int7: なにかは赤くないがしかしそれは特攻機だ; int7 & fact8 -> hypothesis; __PROVED__
事実1: この公募制補助金制度は赤くない
事実2: 仮に「なんらかのものは生産管理であるがしかし食べ放題でない」ということは嘘であるとしたらそれは生産管理でない
事実3: もしもこのＸ方向が赤いとすればこの公募制補助金制度は赤くない一方でそれは特攻機である
事実4: もしも「その疑問文は張り切るがしかしそれは奔るない」ということは嘘ならばあの錫杖は態とらしい
事実5: 張り切るしさらにそれは奔るないというものはない
事実6: もしとあるものは態とらしいとしたら「それは食べ放題である」ということは本当だ
事実7: もしその錫杖が食べ放題であるならこのＸ方向は赤い
事実8: もし何かは赤くないけど特攻機ならばあの動体検知機能は生産管理だ

仮説: この動体検知機能は生産管理だ
1. 事実5から、推論1: "「「その疑問文は張り切る一方で奔るない」ということは成り立たない」ということは確かである"が導かれる
2. 推論1と事実4から、推論2: "その錫杖は態とらしい"が導かれる
3. 事実6から、推論3: "仮にその錫杖が態とらしいとしたらそれは食べ放題だ"が導かれる
4. 推論2と推論3から、推論4: "その錫杖は食べ放題だ"が導かれる
5. 推論4と事実7から、推論5: "このＸ方向は赤い"が導かれる
6. 推論5と事実3から、推論6: "この公募制補助金制度は赤くない一方でそれは特攻機である"が導かれる
7. 推論6から、推論7: "なにかは赤くないがしかしそれは特攻機だ"が導かれる
8. 推論7と事実8から、仮説が導かれる

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