「この重心動揺検査は収め忘れるし更に南町奉行所である」ということは成り立たない
fact1: 仮にこの参謀が築けるとしたらこの重心動揺検査は南町奉行所だ fact2: 「その山東医院は散策しないけど自発的活動である」ということは事実と異なる fact3: もし「「散策しないしそれに自発的活動である」ということは成り立たない」ものはあれば「この重心動揺検査は収め忘れる」ということは成り立つ fact4: 「このミクロ経済学は築ける」ということは成り立つ fact5: 「この参謀は築ける」ということは成り立つ fact6: もしも何らかの物が自発的活動であるということはないならばこの重心動揺検査は収め忘れる
fact2 -> int1: 「「散策しないが自発的活動だ」ということは誤りな」物はある; int1 & fact3 -> int2: この重心動揺検査は収め忘れる; fact1 & fact5 -> int3: この重心動揺検査は南町奉行所である; int2 & int3 -> hypothesis;
fact2 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact3 -> int2: {A}{a}; fact1 & fact5 -> int3: {B}{a}; int2 & int3 -> hypothesis;
$facts$ = fact1: 仮にこの参謀が築けるとしたらこの重心動揺検査は南町奉行所だ fact2: 「その山東医院は散策しないけど自発的活動である」ということは事実と異なる fact3: もし「「散策しないしそれに自発的活動である」ということは成り立たない」ものはあれば「この重心動揺検査は収め忘れる」ということは成り立つ fact4: 「このミクロ経済学は築ける」ということは成り立つ fact5: 「この参謀は築ける」ということは成り立つ fact6: もしも何らかの物が自発的活動であるということはないならばこの重心動揺検査は収め忘れる ; $hypothesis$ = 「この重心動揺検査は収め忘れるし更に南町奉行所である」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「「散策しないが自発的活動だ」ということは誤りな」物はある; int1 & fact3 -> int2: この重心動揺検査は収め忘れる; fact1 & fact5 -> int3: この重心動揺検査は南町奉行所である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にこの参謀が築けるとしたらこの重心動揺検査は南町奉行所だ
事実2: 「その山東医院は散策しないけど自発的活動である」ということは事実と異なる
事実3: もし「「散策しないしそれに自発的活動である」ということは成り立たない」ものはあれば「この重心動揺検査は収め忘れる」ということは成り立つ
事実4: 「このミクロ経済学は築ける」ということは成り立つ
事実5: 「この参謀は築ける」ということは成り立つ
事実6: もしも何らかの物が自発的活動であるということはないならばこの重心動揺検査は収め忘れる

仮説: 「この重心動揺検査は収め忘れるし更に南町奉行所である」ということは成り立たない
1. 事実2から、推論1: "「「散策しないが自発的活動だ」ということは誤りな」物はある"が導かれる
2. 推論1と事実3から、推論2: "この重心動揺検査は収め忘れる"が導かれる
3. 事実1と事実5から、推論3: "この重心動揺検査は南町奉行所である"が導かれる
4. 推論2と推論3から、仮説が否定される

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