その動員力は危ぶむ
fact1: あの四月決算会社はブーダーンだ fact2: ブーダーンがあるとするとこの信義は気怠さであるし注入する fact3: その動員力は気怠さだ fact4: 「とある物は気怠さだ」ということは成り立つならそれは危ぶまない fact5: なにかはＤＮＳ．Ａ．ｃｏｍであるとするとそれは衛生管理者でない fact6: 皮肉っぽいということはないものは危ぶむし加えて気怠さである
fact4 -> int1: もしもその動員力が気怠さだとするとそれは危ぶむということはない; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact3 -> hypothesis;
その動員力は危ぶむ
fact7 -> int2: もし仮にその動員力が皮肉っぽくないならばそれは危ぶむしおまけにそれは気怠さである;
$facts$ = fact1: あの四月決算会社はブーダーンだ fact2: ブーダーンがあるとするとこの信義は気怠さであるし注入する fact3: その動員力は気怠さだ fact4: 「とある物は気怠さだ」ということは成り立つならそれは危ぶまない fact5: なにかはＤＮＳ．Ａ．ｃｏｍであるとするとそれは衛生管理者でない fact6: 皮肉っぽいということはないものは危ぶむし加えて気怠さである ; $hypothesis$ = その動員力は危ぶむ ; $proof$ = 
fact4 -> int1: もしもその動員力が気怠さだとするとそれは危ぶむということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの四月決算会社はブーダーンだ
事実2: ブーダーンがあるとするとこの信義は気怠さであるし注入する
事実3: その動員力は気怠さだ
事実4: 「とある物は気怠さだ」ということは成り立つならそれは危ぶまない
事実5: なにかはＤＮＳ．Ａ．ｃｏｍであるとするとそれは衛生管理者でない
事実6: 皮肉っぽいということはないものは危ぶむし加えて気怠さである

仮説: その動員力は危ぶむ
1. 事実4から、推論1: "もしもその動員力が気怠さだとするとそれは危ぶむということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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