「「この前年度は考え深くないが見通す」ということは確かである」ということは誤りである
fact1: 仮になにかは応札ならばそれは考え深くないがしかし見通す fact2: あの進駐が見通すならこの前年度は番衆だ fact3: 「仮にこの前年度が応札だとしたらこの前年度は考え深くない」ということは成り立つ fact4: 応札は考え深くない fact5: この前年度は考え深くない fact6: もしあの進駐が番衆ならこの前年度は応札である fact7: あるものは善するとしたら「考え深いということはないがしかし見通す」ということは嘘だ fact8: あの進駐は善する fact9: あの進駐は善するし更に番衆だ
fact9 -> int1: あの進駐は番衆だ; int1 & fact6 -> int2: この前年度は応札だ; fact1 -> int3: もしもこの前年度が応札だとすると考え深くないけれど見通す; int2 & int3 -> hypothesis;
「この前年度は考え深くないが見通す」ということは誤りだ
fact10 -> int4: 「この前年度は善する」ということは事実であるとしたら「それは考え深くないがしかし見通す」ということは誤りだ;
$facts$ = fact1: 仮になにかは応札ならばそれは考え深くないがしかし見通す fact2: あの進駐が見通すならこの前年度は番衆だ fact3: 「仮にこの前年度が応札だとしたらこの前年度は考え深くない」ということは成り立つ fact4: 応札は考え深くない fact5: この前年度は考え深くない fact6: もしあの進駐が番衆ならこの前年度は応札である fact7: あるものは善するとしたら「考え深いということはないがしかし見通す」ということは嘘だ fact8: あの進駐は善する fact9: あの進駐は善するし更に番衆だ ; $hypothesis$ = 「「この前年度は考え深くないが見通す」ということは確かである」ということは誤りである ; $proof$ = 
fact9 -> int1: あの進駐は番衆だ; int1 & fact6 -> int2: この前年度は応札だ; fact1 -> int3: もしもこの前年度が応札だとすると考え深くないけれど見通す; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮になにかは応札ならばそれは考え深くないがしかし見通す
事実2: あの進駐が見通すならこの前年度は番衆だ
事実3: 「仮にこの前年度が応札だとしたらこの前年度は考え深くない」ということは成り立つ
事実4: 応札は考え深くない
事実5: この前年度は考え深くない
事実6: もしあの進駐が番衆ならこの前年度は応札である
事実7: あるものは善するとしたら「考え深いということはないがしかし見通す」ということは嘘だ
事実8: あの進駐は善する
事実9: あの進駐は善するし更に番衆だ

仮説: 「「この前年度は考え深くないが見通す」ということは確かである」ということは誤りである
1. 事実9から、推論1: "あの進駐は番衆だ"が導かれる
2. 推論1と事実6から、推論2: "この前年度は応札だ"が導かれる
3. 事実1から、推論3: "もしもこの前年度が応札だとすると考え深くないけれど見通す"が導かれる
4. 推論2と推論3から、仮説が否定される

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