「この政党以外は数学化しない」ということは真実である
fact1: その心尽くしは待ち切れる fact2: なにがしかの物は数学化するかもしくは待ち切れるかもしくは両方ともである fact3: その書誌学は待ち切れる fact4: 仮に何らかの物は受託残高であるしおまけに間近いとすれば「「待ち切れる」ということは正しい」ということは間違っている fact5: 「待ち切れるかもしくは受託残高であるかどちらもな」物はある fact6: もし仮に「待ち切れるかもしくは受託残高でない」ものがあるとしたらこの政党以外は数学化する
fact3 -> int1: その書誌学は待ち切れるかあるいは受託残高であるということはないか両方だ; int1 -> int2: なにがしかの物は待ち切れるかあるいは受託残高でないかもしくはどちらもだ; int2 & fact6 -> hypothesis;
fact3 -> int1: ({A}{a} v ¬{B}{a}); int1 -> int2: (Ex): ({A}x v ¬{B}x); int2 & fact6 -> hypothesis;
この政党以外は数学化しない
fact7 -> int3: もしその書誌学が受託残高だし更に間近いならそれは待ち切れない;
$facts$ = fact1: その心尽くしは待ち切れる fact2: なにがしかの物は数学化するかもしくは待ち切れるかもしくは両方ともである fact3: その書誌学は待ち切れる fact4: 仮に何らかの物は受託残高であるしおまけに間近いとすれば「「待ち切れる」ということは正しい」ということは間違っている fact5: 「待ち切れるかもしくは受託残高であるかどちらもな」物はある fact6: もし仮に「待ち切れるかもしくは受託残高でない」ものがあるとしたらこの政党以外は数学化する ; $hypothesis$ = 「この政党以外は数学化しない」ということは真実である ; $proof$ = 
fact3 -> int1: その書誌学は待ち切れるかあるいは受託残高であるということはないか両方だ; int1 -> int2: なにがしかの物は待ち切れるかあるいは受託残高でないかもしくはどちらもだ; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: その心尽くしは待ち切れる
事実2: なにがしかの物は数学化するかもしくは待ち切れるかもしくは両方ともである
事実3: その書誌学は待ち切れる
事実4: 仮に何らかの物は受託残高であるしおまけに間近いとすれば「「待ち切れる」ということは正しい」ということは間違っている
事実5: 「待ち切れるかもしくは受託残高であるかどちらもな」物はある
事実6: もし仮に「待ち切れるかもしくは受託残高でない」ものがあるとしたらこの政党以外は数学化する

仮説: 「この政党以外は数学化しない」ということは真実である
1. 事実3から、推論1: "その書誌学は待ち切れるかあるいは受託残高であるということはないか両方だ"が導かれる
2. 推論1から、推論2: "なにがしかの物は待ち切れるかあるいは受託残高でないかもしくはどちらもだ"が導かれる
3. 推論2と事実6から、仮説が否定される

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