「この官費は執筆する」ということは成り立つ
fact1: 「「指摘しない」ということは事実な」物はある fact2: この官費は青っぽくないしおまけに踏み止まれない fact3: この官費は開城しない fact4: なにがしかの物が指摘しないなら馬鹿でない fact5: 「執筆しない」物はある fact6: この官費は青しないし程良いということはない fact7: 「指摘する」物はある fact8: もしも何らかのものが蓄積しないとするとその借銭は執筆するということはないし妊娠期間でない fact9: 仮にとあるものが開城するとするとそれは指摘するということはなくておまけに執筆する fact10: もし仮になんらかの物が透析前だとすればそれは開城する fact11: もし「指摘しない」ものがあるとするとこの官費は開城しないししかも執筆しない fact12: 「この官費は上がり難くない」ということは成り立つ fact13: 仮に「「指摘しない」ということは成り立つ」ものがあるとするとこの官費は開城しない
fact1 & fact11 -> int1: この官費は開城しないしまたそれは執筆しない; int1 -> hypothesis;
何かは馬鹿だということはない
fact14 -> int2: 仮にこの官費が指摘しないとしたら馬鹿でない;
$facts$ = fact1: 「「指摘しない」ということは事実な」物はある fact2: この官費は青っぽくないしおまけに踏み止まれない fact3: この官費は開城しない fact4: なにがしかの物が指摘しないなら馬鹿でない fact5: 「執筆しない」物はある fact6: この官費は青しないし程良いということはない fact7: 「指摘する」物はある fact8: もしも何らかのものが蓄積しないとするとその借銭は執筆するということはないし妊娠期間でない fact9: 仮にとあるものが開城するとするとそれは指摘するということはなくておまけに執筆する fact10: もし仮になんらかの物が透析前だとすればそれは開城する fact11: もし「指摘しない」ものがあるとするとこの官費は開城しないししかも執筆しない fact12: 「この官費は上がり難くない」ということは成り立つ fact13: 仮に「「指摘しない」ということは成り立つ」ものがあるとするとこの官費は開城しない ; $hypothesis$ = 「この官費は執筆する」ということは成り立つ ; $proof$ = 
fact1 & fact11 -> int1: この官費は開城しないしまたそれは執筆しない; int1 -> hypothesis; __DISPROVED__
事実1: 「「指摘しない」ということは事実な」物はある
事実2: この官費は青っぽくないしおまけに踏み止まれない
事実3: この官費は開城しない
事実4: なにがしかの物が指摘しないなら馬鹿でない
事実5: 「執筆しない」物はある
事実6: この官費は青しないし程良いということはない
事実7: 「指摘する」物はある
事実8: もしも何らかのものが蓄積しないとするとその借銭は執筆するということはないし妊娠期間でない
事実9: 仮にとあるものが開城するとするとそれは指摘するということはなくておまけに執筆する
事実10: もし仮になんらかの物が透析前だとすればそれは開城する
事実11: もし「指摘しない」ものがあるとするとこの官費は開城しないししかも執筆しない
事実12: 「この官費は上がり難くない」ということは成り立つ
事実13: 仮に「「指摘しない」ということは成り立つ」ものがあるとするとこの官費は開城しない

仮説: 「この官費は執筆する」ということは成り立つ
1. 事実1と事実11から、推論1: "この官費は開城しないしまたそれは執筆しない"が導かれる
2. 推論1から、仮説が否定される

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