「あの疫学的研究は深化しなくて加えて無駄でない」ということは事実と異なる
fact1: 仮にあるものがへばらないとするとそれはルーティング出来るということはない fact2: もしも何かは学力向上フロンティアスクールであるとすれば「それは深化しなくてそれに無駄でない」ということは事実でない fact3: あの疫学的研究は学力向上フロンティアスクールだということはない fact4: もしあの疫学的研究は学力向上フロンティアスクールでないとしたら「深化しない」ということは本当である fact5: 「ルーティング出来るかまたは無駄でないかあるいは両方ともな」ものがあるとすればあの疫学的研究は無駄でない fact6: 「ルーティング出来るかまたは無駄でないかもしくは両方ともな」物はある
fact4 & fact3 -> int1: あの疫学的研究は深化しない; fact6 & fact5 -> int2: 「あの疫学的研究は無駄でない」ということは成り立つ; int1 & int2 -> hypothesis;
fact4 & fact3 -> int1: ¬{B}{a}; fact6 & fact5 -> int2: ¬{C}{a}; int1 & int2 -> hypothesis;
「あの疫学的研究は深化しないし無駄でない」ということは間違っている
fact8 -> int3: もし仮にあの疫学的研究は学力向上フロンティアスクールであるならば「深化するということはなくてしかも無駄でない」ということは嘘だ; fact7 -> int4: もしあの疫学的研究がへばるということはないとすればルーティング出来るということはない;
$facts$ = fact1: 仮にあるものがへばらないとするとそれはルーティング出来るということはない fact2: もしも何かは学力向上フロンティアスクールであるとすれば「それは深化しなくてそれに無駄でない」ということは事実でない fact3: あの疫学的研究は学力向上フロンティアスクールだということはない fact4: もしあの疫学的研究は学力向上フロンティアスクールでないとしたら「深化しない」ということは本当である fact5: 「ルーティング出来るかまたは無駄でないかあるいは両方ともな」ものがあるとすればあの疫学的研究は無駄でない fact6: 「ルーティング出来るかまたは無駄でないかもしくは両方ともな」物はある ; $hypothesis$ = 「あの疫学的研究は深化しなくて加えて無駄でない」ということは事実と異なる ; $proof$ = 
fact4 & fact3 -> int1: あの疫学的研究は深化しない; fact6 & fact5 -> int2: 「あの疫学的研究は無駄でない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあるものがへばらないとするとそれはルーティング出来るということはない
事実2: もしも何かは学力向上フロンティアスクールであるとすれば「それは深化しなくてそれに無駄でない」ということは事実でない
事実3: あの疫学的研究は学力向上フロンティアスクールだということはない
事実4: もしあの疫学的研究は学力向上フロンティアスクールでないとしたら「深化しない」ということは本当である
事実5: 「ルーティング出来るかまたは無駄でないかあるいは両方ともな」ものがあるとすればあの疫学的研究は無駄でない
事実6: 「ルーティング出来るかまたは無駄でないかもしくは両方ともな」物はある

仮説: 「あの疫学的研究は深化しなくて加えて無駄でない」ということは事実と異なる
1. 事実4と事実3から、推論1: "あの疫学的研究は深化しない"が導かれる
2. 事実6と事実5から、推論2: "「あの疫学的研究は無駄でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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