「「もし仮に慎ましいとしたら私するしその上衰え始めない」ものはある」ということは嘘である
fact1: もしもあの仕事人間が京都らしいならば私しない fact2: もし仮にあの仕事人間は慎ましいとしたら「私する」ということは事実だ fact3: もし仮にとあるものが慎ましいとしたらそれは私する fact4: 仮になにかは崩ずるとすれば奉納団体数で更にそれは良くない fact5: 「もし仮に述べ立てるなら続き易いけれど神文王でない」ものはある fact6: 慎ましい物は私するが衰え始めるということはない fact7: 「もしも検査出来るなら若ししさらに酔い易くない」ものはある fact8: 熱暴走は圧搾機だけれど目新しいということはない
fact6 -> int1: もしも「あの仕事人間は慎ましい」ということは成り立つとすると私するしおまけにそれは衰え始めない; int1 -> hypothesis;
その公使館は熱暴走だとしたら「圧搾機だ一方で目新しくない」ということは真実である
fact9 -> hypothesis;
$facts$ = fact1: もしもあの仕事人間が京都らしいならば私しない fact2: もし仮にあの仕事人間は慎ましいとしたら「私する」ということは事実だ fact3: もし仮にとあるものが慎ましいとしたらそれは私する fact4: 仮になにかは崩ずるとすれば奉納団体数で更にそれは良くない fact5: 「もし仮に述べ立てるなら続き易いけれど神文王でない」ものはある fact6: 慎ましい物は私するが衰え始めるということはない fact7: 「もしも検査出来るなら若ししさらに酔い易くない」ものはある fact8: 熱暴走は圧搾機だけれど目新しいということはない ; $hypothesis$ = 「「もし仮に慎ましいとしたら私するしその上衰え始めない」ものはある」ということは嘘である ; $proof$ = 
fact6 -> int1: もしも「あの仕事人間は慎ましい」ということは成り立つとすると私するしおまけにそれは衰え始めない; int1 -> hypothesis; __DISPROVED__
事実1: もしもあの仕事人間が京都らしいならば私しない
事実2: もし仮にあの仕事人間は慎ましいとしたら「私する」ということは事実だ
事実3: もし仮にとあるものが慎ましいとしたらそれは私する
事実4: 仮になにかは崩ずるとすれば奉納団体数で更にそれは良くない
事実5: 「もし仮に述べ立てるなら続き易いけれど神文王でない」ものはある
事実6: 慎ましい物は私するが衰え始めるということはない
事実7: 「もしも検査出来るなら若ししさらに酔い易くない」ものはある
事実8: 熱暴走は圧搾機だけれど目新しいということはない

仮説: 「「もし仮に慎ましいとしたら私するしその上衰え始めない」ものはある」ということは嘘である
1. 事実6から、推論1: "もしも「あの仕事人間は慎ましい」ということは成り立つとすると私するしおまけにそれは衰え始めない"が導かれる
2. 推論1から、仮説が否定される

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