その新皮質はＮＡＮＤ回路だ
fact1: 仮にあるものが物狂おしいとしたらそれはバウチャー民営化でない fact2: そのプランニング・オブ・アクションは切り抜ける fact3: 仮にそのプランニング・オブ・アクションが発揮し難いとすればその新皮質は長腕だ fact4: もし仮にそのプランニング・オブ・アクションが送金するならばあの新皮質はＮＡＮＤ回路だ fact5: 「その鳥達はＮＡＮＤ回路である」ということは成り立つ fact6: もし仮にそのガスエンジンがバウチャー民営化でないとすればあのプランニング・オブ・アクションはＮＡＮＤ回路だしその上送金する fact7: この離縁状はＮＡＮＤ回路だ fact8: その米栂は管理し易い fact9: もし仮に「その新皮質は送金する」ということは真実であるとすればそのプランニング・オブ・アクションはＮＡＮＤ回路である fact10: そのプランニング・オブ・アクションは送金する fact11: その新皮質は凋落する fact12: そのプランニング・オブ・アクションは幕である fact13: もしもその米栂が解れないとしたら仰向くしおまけにそれはすごーい fact14: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路ならその新皮質はＮＡＮＤ回路でない fact15: もし仮にそのプランニング・オブ・アクションが送金するならその雑食性はＮＡＮＤ回路である fact16: その新皮質がＮＡＮＤ回路であるとするとその旅程管理業務は送金する fact17: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路だとするとその新皮質は送金する fact18: その返済期限は送金する fact19: 仮に管理し易いものは確認し易くないとするとそれは解れない fact20: その増悪はＮＡＮＤ回路である fact21: その米栂は確認し易くない fact22: この時間目盛りはＮＡＮＤ回路である
fact4 & fact10 -> hypothesis;
fact4 & fact10 -> hypothesis;
その新皮質はＮＡＮＤ回路でない
fact27 -> int1: もし仮に「そのガスエンジンは物狂おしい」ということは誤っていないとすればバウチャー民営化であるということはない; fact25 -> int2: もしその米栂が管理し易いけど確認し易くないとしたら解れない; fact29 & fact26 -> int3: その米栂は管理し易いが確認し易くない; int2 & int3 -> int4: その米栂は解れない; fact28 & int4 -> int5: その米栂は仰向くしすごーい; int5 -> int6: その米栂は仰向く; int6 -> int7: 「仰向く」ものはある;
$facts$ = fact1: 仮にあるものが物狂おしいとしたらそれはバウチャー民営化でない fact2: そのプランニング・オブ・アクションは切り抜ける fact3: 仮にそのプランニング・オブ・アクションが発揮し難いとすればその新皮質は長腕だ fact4: もし仮にそのプランニング・オブ・アクションが送金するならばあの新皮質はＮＡＮＤ回路だ fact5: 「その鳥達はＮＡＮＤ回路である」ということは成り立つ fact6: もし仮にそのガスエンジンがバウチャー民営化でないとすればあのプランニング・オブ・アクションはＮＡＮＤ回路だしその上送金する fact7: この離縁状はＮＡＮＤ回路だ fact8: その米栂は管理し易い fact9: もし仮に「その新皮質は送金する」ということは真実であるとすればそのプランニング・オブ・アクションはＮＡＮＤ回路である fact10: そのプランニング・オブ・アクションは送金する fact11: その新皮質は凋落する fact12: そのプランニング・オブ・アクションは幕である fact13: もしもその米栂が解れないとしたら仰向くしおまけにそれはすごーい fact14: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路ならその新皮質はＮＡＮＤ回路でない fact15: もし仮にそのプランニング・オブ・アクションが送金するならその雑食性はＮＡＮＤ回路である fact16: その新皮質がＮＡＮＤ回路であるとするとその旅程管理業務は送金する fact17: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路だとするとその新皮質は送金する fact18: その返済期限は送金する fact19: 仮に管理し易いものは確認し易くないとするとそれは解れない fact20: その増悪はＮＡＮＤ回路である fact21: その米栂は確認し易くない fact22: この時間目盛りはＮＡＮＤ回路である ; $hypothesis$ = その新皮質はＮＡＮＤ回路だ ; $proof$ = 
fact4 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあるものが物狂おしいとしたらそれはバウチャー民営化でない
事実2: そのプランニング・オブ・アクションは切り抜ける
事実3: 仮にそのプランニング・オブ・アクションが発揮し難いとすればその新皮質は長腕だ
事実4: もし仮にそのプランニング・オブ・アクションが送金するならばあの新皮質はＮＡＮＤ回路だ
事実5: 「その鳥達はＮＡＮＤ回路である」ということは成り立つ
事実6: もし仮にそのガスエンジンがバウチャー民営化でないとすればあのプランニング・オブ・アクションはＮＡＮＤ回路だしその上送金する
事実7: この離縁状はＮＡＮＤ回路だ
事実8: その米栂は管理し易い
事実9: もし仮に「その新皮質は送金する」ということは真実であるとすればそのプランニング・オブ・アクションはＮＡＮＤ回路である
事実10: そのプランニング・オブ・アクションは送金する
事実11: その新皮質は凋落する
事実12: そのプランニング・オブ・アクションは幕である
事実13: もしもその米栂が解れないとしたら仰向くしおまけにそれはすごーい
事実14: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路ならその新皮質はＮＡＮＤ回路でない
事実15: もし仮にそのプランニング・オブ・アクションが送金するならその雑食性はＮＡＮＤ回路である
事実16: その新皮質がＮＡＮＤ回路であるとするとその旅程管理業務は送金する
事実17: もしもそのプランニング・オブ・アクションがＮＡＮＤ回路だとするとその新皮質は送金する
事実18: その返済期限は送金する
事実19: 仮に管理し易いものは確認し易くないとするとそれは解れない
事実20: その増悪はＮＡＮＤ回路である
事実21: その米栂は確認し易くない
事実22: この時間目盛りはＮＡＮＤ回路である

仮説: その新皮質はＮＡＮＤ回路だ
1. 事実4と事実10から、仮説が導かれる

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