あの政治グループは救援しない
fact1: 「その数牌は救援する」ということは事実だ fact2: あの政治グループは救援する fact3: 「とあるものは多ししさらに整理手続きだ」ということは成り立たないとしたら整理手続きでない fact4: もしも真っ白い物はあれば「あの政治グループは多ししまた整理手続きである」ということは間違いである fact5: あの補助記号は伴い易くて真っ白い
fact2 -> hypothesis;
fact2 -> hypothesis;
その現物出資後は救援する
fact8 -> int1: 仮に「あの政治グループは多ししまた整理手続きである」ということは真実でないとしたらそれは整理手続きでない; fact6 -> int2: あの補助記号は真っ白い; int2 -> int3: 「真っ白い」ものはある; int3 & fact7 -> int4: 「「あの政治グループは多ししかつ整理手続きである」ということは真実だ」ということは正しくない; int1 & int4 -> int5: あの政治グループは整理手続きでない; int5 -> int6: 「整理手続きであるということはない」ものはある;
$facts$ = fact1: 「その数牌は救援する」ということは事実だ fact2: あの政治グループは救援する fact3: 「とあるものは多ししさらに整理手続きだ」ということは成り立たないとしたら整理手続きでない fact4: もしも真っ白い物はあれば「あの政治グループは多ししまた整理手続きである」ということは間違いである fact5: あの補助記号は伴い易くて真っ白い ; $hypothesis$ = あの政治グループは救援しない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「その数牌は救援する」ということは事実だ
事実2: あの政治グループは救援する
事実3: 「とあるものは多ししさらに整理手続きだ」ということは成り立たないとしたら整理手続きでない
事実4: もしも真っ白い物はあれば「あの政治グループは多ししまた整理手続きである」ということは間違いである
事実5: あの補助記号は伴い易くて真っ白い

仮説: あの政治グループは救援しない
1. 事実2から、仮説が否定される

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